On Partitioning and Symbolic Model Checking.

Subramanian K. Iyer Debashis Sahoo E. Allen Emerson Jawahar Jain

Published in: FM (2005)

Keyphrases

symbolic model checking
model checking
partial observability
formal verification
conformant planning
symbolic representation
deterministic domains
binary decision diagrams
temporal logic
model checker
machine learning
association rules
boolean functions
finite state