Local proofs for global safety properties.

Ariel Cohen Kedar S. Namjoshi

Published in: Formal Methods Syst. Des. (2009)

Keyphrases

desirable properties
machine learning
multi agent systems
structural properties
topological properties
computer vision
web services
case study
multiscale
search algorithm
computer programs
equational theories