Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams.

Andy Jinqing Yu Gianfranco Ciardo Gerald Lüttgen

Published in: TACAS (2007)

Keyphrases

state space
complex systems
digital circuits
machine learning
search algorithm
data model
np complete
raw data
decision diagrams