TY  - RPRT
TI  - Decidability Results for Multi-objective Stochastic Games
AU  - Romain Brenguier
AU  - Vojtěch Forejt
PY  - 2016
UR  - https://arxiv.org/abs/1605.03811
ID  - 1605.03811
ER  -