TY  - RPRT
TI  - Verification and Control of Turn-Based Probabilistic Real-Time Games
AU  - Marta Kwiatkowska
AU  - Gethin Norman
AU  - David Parker
PY  - 2019
UR  - https://arxiv.org/abs/1906.09142
ID  - 1906.09142
ER  -