Model checking and strategy synthesis for stochastic games: from theory to practice
Probabilistic model checking is an automatic procedure for establishing if a desired property holds in a probabilistic model, aimed at verifying quantitative probabilistic specifications such as the probability of a critical failure occurring or expected time to termination. Much progress has been m...
| Главный автор: | |
|---|---|
| Формат: | Conference item |
| Опубликовано: |
Schloss Dagstuhl
2016
|