Symbolic Model Checking of Weighted PCTL Using Dependency Graphs.

Mathias Claus Jensen Anders Mariegaard Kim Guldstrand Larsen

Published in: NFM (2019)

Keyphrases

dependency graphs
symbolic model checking
model checking
formal verification
partial observability
conformant planning
dependency graph
binary decision diagrams
model checker
search algorithm
formal specification
artificial intelligence
incomplete information
temporal logic