Probabilistic verification and approximation.
Richard LassaigneSylvain PeyronnetPublished in: Ann. Pure Appl. Log. (2008)
Keyphrases
- generative model
- uncertain data
- closed form
- error bounds
- probabilistic model
- quality guarantees
- approximation methods
- approximation algorithms
- information theoretic
- model checking
- face verification
- formal verification
- data driven
- bayesian networks
- posterior probability
- temporal logic
- probabilistic reasoning
- queueing networks
- continuous functions