A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking.
Tom van DijkErnst Moritz HahnDavid N. JansenYong LiThomas NeeleMariëlle StoelingaAndrea TurriniLijun ZhangPublished in: SETTA (2015)
Keyphrases
- symbolic model checking
- binary decision diagrams
- model checking
- formal verification
- boolean functions
- bayesian networks
- generative model
- symbolic representation
- conformant planning
- partial observability
- planning problems
- model checker
- data mining
- temporal logic
- computational complexity
- multi agent
- artificial intelligence