Symbolic Model Checking with Rich ssertional Languages.

Yonit Kesten Oded Maler Monica Marcus Amir Pnueli Elad Shahar

Published in: CAV (1997)

Keyphrases

symbolic model checking
model checking
partial observability
conformant planning
formal verification
deterministic domains
symbolic representation
binary decision diagrams
model checker
reinforcement learning
temporal logic
planning domains
data mining
bayesian networks
finite state
belief space