Minimal counterexamples for linear-time probabilistic verification.
Ralf WimmerNils JansenErika ÁbrahámJoost-Pieter KatoenBernd BeckerPublished in: Theor. Comput. Sci. (2014)
Keyphrases
- probabilistic approaches
- probabilistic logic
- database
- machine learning
- probabilistic model
- data driven
- generative model
- model checking
- formal analysis
- uncertain data
- concurrent systems
- person identification
- face verification
- probabilistic reasoning
- context sensitive
- bayesian networks
- search engine
- artificial intelligence
- real world