Bayesian Inference by Symbolic Model Checking.
Bahare SalmaniJoost-Pieter KatoenPublished in: CoRR (2020)
Keyphrases
- bayesian inference
- symbolic model checking
- model checking
- partial observability
- formal verification
- probabilistic model
- symbolic representation
- binary decision diagrams
- prior information
- hyperparameters
- model checker
- particle filter
- temporal logic
- hidden variables
- learning algorithm
- planning domains
- partial information
- graphical models
- expectation propagation