Fast Online Predicate Detection Using Symbolic Model Checking.

Chunbo Chu Monica Brockmeyer

Published in: CATA (2005)

Keyphrases

symbolic model checking
model checking
partial observability
formal verification
binary decision diagrams
model checker
machine learning
first order logic