Symbolic model checking with rich assertional languages.

Yonit Kesten Oded Maler Monica Marcus Amir Pnueli Elad Shahar

Published in: Theor. Comput. Sci. (2001)

Keyphrases

symbolic model checking
model checking
partial observability
formal verification
conformant planning
symbolic representation
binary decision diagrams
model checker
temporal logic
reinforcement learning
planning domains
target language