Verification and Refutation of Probabilistic Specifications via Games.
Mark KattenbeltMichael HuthPublished in: FSTTCS (2009)
Keyphrases
- automated verification
- concurrent systems
- formal verification
- model checking
- model checker
- bounded model checking
- theorem proving
- probabilistic model
- asynchronous circuits
- generative model
- video games
- nash equilibrium
- uncertain data
- temporal logic
- high level
- probabilistic reasoning
- posterior probability
- delay insensitive
- probabilistic logic
- computer games
- game theory
- data driven
- protocol specification
- inductive inference
- general game playing
- specification language
- face verification
- game theoretic
- bayesian networks