Quantitative verification and strategy synthesis of stochastic games
Design and control of computer systems that operate in uncertain, competitive or adversarial, environments can be facilitated by formal modelling and analysis. In this paper, we focus on analysis of complex computer systems modelled as turn-based 21/2-player games, or stochastic games for short, tha...
Main Authors: | , |
---|---|
Format: | Journal article |
Published: |
Elsevier
2016
|