A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability.

Simon Busard Charles Pecheur

Published in: GandALF (2017)

Keyphrases

symbolic model checking
model checking
partial observability
conformant planning
state space
formal verification
data structure
tree structure
search strategies
model checker
dynamic environments
constraint programming
symbolic representation
binary decision diagrams