Counterexample-Preserving Reduction for Symbolic Model Checking.

Wanwei Liu Rui Wang Xianjin Fu Ji Wang Wei Dong Xiaoguang Mao

Published in: ICTAC (2013)

Keyphrases

symbolic model checking
model checking
formal verification
model checker
temporal logic
deterministic domains
formal specification
conformant planning
finite state
formal methods
binary decision diagrams
partial observability
domain specific
dynamic environments
planning domains