Verification and control of turn-based probabilistic real-time games
Quantitative verification techniques have been developed for the formal analysis of a variety of probabilistic models, such as Markov chains, Markov decision process and their variants. They can be used to produce guarantees on quantitative aspects of system behaviour, for example safety, reliabilit...
| Những tác giả chính: | , , |
|---|---|
| Định dạng: | Conference item |
| Được phát hành: |
Springer Verlag
2019
|