Hierarchical Reasoning for the Verification of Parametric Systems.

Viorica Sofronie-Stokkermans

Published in: IJCAR (2010)

Keyphrases

reasoning systems
complex systems
asynchronous circuits
reason maintenance
hierarchical clustering
computer systems
knowledge based systems
verification method
formal methods
learning systems
data sets
distributed systems
management system
multi agent
information systems
computer vision
neural network