Modular Abstractions of Reactive Nodes Using Disjunctive Invariants.

David Monniaux Martin Bodin

Published in: APLAS (2011)

Keyphrases

high level
graph structure
directed graph
network structure
affine invariant
data sets
image sequences
search algorithm
data model
shortest path
intelligent agents
answer sets
undirected graph
intermediate nodes