Model checking for universal planning in deterministic and non-deterministic domains.

Published in: AI Commun. (2013)

Keyphrases

deterministic domains
symbolic model checking
model checking
temporal logic
formal verification
model checker
partial observability
deterministic finite automaton
finite state
formal specification
binary decision diagrams
planning domains
formal methods
machine learning
planning problems
stochastic domains