Symbolic model checking APSL.

Wanwei Liu Ji Wang Huowang Chen Xiaodong Ma Zhaofei Wang

Published in: Frontiers Comput. Sci. China (2009)

Keyphrases

symbolic model checking
model checking
formal verification
binary decision diagrams
partial observability
deterministic domains
conformant planning
temporal logic
model checker
data mining
machine learning
learning algorithm
reinforcement learning
boolean functions