A.__Cimatti
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains
Multi-Agent Reasoning with Belief Contexts: the Approach and a Case Study
Navigation by Combining Reactivity and Planning
NuSMV: a new symbolic model checker
NuSmv: a reimplementation of smv
Strong Planning in Non-Deterministic Domains via Model Checking