.

Browsing by Subject "Computer systems -- Verification"

LAUR Repository

Browsing by Subject "Computer systems -- Verification"

Sort by: Order: Results:

  • Alkak, Hashem (Lebanese American University, 2023-02-02)
    The problem of augmenting a given network, or graph, via edge-additions for improved reachability from a given source node is considered. We formulate and study the following Single Source Reachability Improvement problem ...