TY  - RPRT
TI  - Controller synthesis for MDPs and Frequency LTL$\setminus$GU
AU  - Vojtěch Forejt
AU  - Jan Krčál
AU  - Jan Křetínský
PY  - 2015
UR  - https://arxiv.org/abs/1509.04116
ID  - 1509.04116
ER  -