Utilizing the structure of safety properties to aid in the verification of hybrid controllers.

Natasha A. Neogi

Published in: ACC (2004)

Keyphrases

structural properties
artificial intelligence
desirable properties
real time
decision trees
model checking
structural information
database systems
hierarchical structure
graph structure