Formal Verification of Bayesian Mechanisms.
Munyque MittelmannBastien MaubertAniello MuranoLaurent PerrusselPublished in: AAAI (2023)
Keyphrases
- formal verification
- model checking
- model checker
- automated verification
- symbolic model checking
- bounded model checking
- posterior probability
- program slicing
- temporal logic
- bayesian estimation
- maximum likelihood
- bayesian methods
- bayesian networks
- bayesian learning
- decision theory
- functional verification
- gaussian processes
- computational models
- dynamic programming