Symbolic Model Checking for Factored Probabilistic Models.
David DeiningerRayna DimitrovaRupak MajumdarPublished in: ATVA (2016)
Keyphrases
- symbolic model checking
- probabilistic model
- model checking
- partial observability
- formal verification
- graphical models
- generative model
- conformant planning
- expectation maximization
- hidden variables
- latent variables
- symbolic representation
- bayesian networks
- temporal logic
- state space
- conditional random fields
- binary decision diagrams
- dynamic bayesian networks
- finite state
- optimal policy
- reinforcement learning