TY  - RPRT
TI  - Strategy Complexity of Concurrent Stochastic Games with Safety and Reachability Objectives
AU  - Krishnendu Chatterjee
AU  - Kristoffer Arnsfelt Hansen
AU  - Rasmus Ibsen-Jensen
PY  - 2015
UR  - https://arxiv.org/abs/1506.02434
ID  - 1506.02434
ER  -