TY  - RPRT
TI  - Expected Reachability-Time Games
AU  - Vojtěch Forejt
AU  - Marta Kwiatkowska
AU  - Gethin Norman
AU  - Ashutosh Trivedi
PY  - 2016
UR  - https://arxiv.org/abs/1604.04435
ID  - 1604.04435
ER  -