Automated verification of concurrent stochastic games
We present automatic verification techniques for concurrent stochastic multi-player games (CSGs) with rewards. To express properties of such models, we adapt the temporal logic rPATL (probabilistic alternating-time temporal logic with rewards), originally introduced for the simpler model of turn-bas...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer, Cham
2018
|