TY  - RPRT
TI  - MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives
AU  - Tomáš Brázdil
AU  - Krishnendu Chatterjee
AU  - Vojtěch Forejt
AU  - Antonín Kučera
PY  - 2015
UR  - https://arxiv.org/abs/1501.03093
ID  - 1501.03093
ER  -