Symbolic Model Checking APSL.

Wanwei Liu Ji Wang Huowang Chen Xiaodong Ma

Published in: TASE (2008)

Keyphrases

symbolic model checking
model checking
partial observability
formal verification
symbolic representation
deterministic domains
conformant planning
temporal logic
binary decision diagrams
model checker
search algorithm
partial information
partially observable