Accelerating Parametric Probabilistic Verification.
Nils JansenFlorian CorziliusMatthias VolkRalf WimmerErika ÁbrahámJoost-Pieter KatoenBernd BeckerPublished in: QEST (2014)
Keyphrases
- model checking
- bayesian networks
- uncertain data
- probabilistic model
- generative model
- probabilistic approaches
- verification method
- face verification
- probabilistic logic
- probabilistic relational
- real time
- parametric representation
- asynchronous circuits
- probabilistic interpretation
- formal methods
- probabilistic reasoning
- multiresolution
- decision making
- artificial intelligence
- genetic algorithm
- data mining