Bisimulation Minimization and Symbolic Model Checking.

Kathi Fisler Moshe Y. Vardi

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

Keyphrases

symbolic model checking
model checking
partial observability
formal verification
conformant planning
symbolic representation
binary decision diagrams
deterministic domains
model checker
objective function
artificial intelligence
search algorithm
temporal logic
finite state