search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

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