Bayesian Inference by Symbolic Model Checking.
Bahare SalmaniJoost-Pieter KatoenPublished in: QEST (2020)
Keyphrases
- bayesian inference
- symbolic model checking
- model checking
- partial observability
- formal verification
- probabilistic model
- prior information
- hyperparameters
- symbolic representation
- model checker
- particle filter
- expectation propagation
- data sets
- binary decision diagrams
- domain specific
- hidden variables
- partially observable
- planning domains
- real valued
- learning algorithm