Modular Abstractions of Reactive Nodes using Disjunctive Invariants

David Monniaux Martin Bodin

Published in: CoRR (2011)

Keyphrases

shortest path
graph structure
high level
neural network
network structure
database
databases
genetic algorithm
knowledge base
data structure
affine invariant
minimum cost
invariant features
moment invariants