Report icon

Report

PLAYING STOCHASTIC GAMES PRECISELY

Abstract:

We study stochastic two-player games where the goal of one player is to achieve precisely a given expected value of the objective function, while the goal of the opponent is the opposite. Potential applications for such games include controller synthesis problems where the optimisation objective is to maximise or minimise a given payo function while respecting a strict upper or lower bound, respectively. We consider a number of objective functions including reachability, !-regular, discounted...

Expand abstract

Actions


Access Document


Files:

Authors


Expand authors...
Publication date:
2012-01-01
URN:
uuid:0a3de45f-0242-42ac-9a6d-55fb4c3368d0
Local pid:
cs:6158

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP