TY  - RPRT
TI  - Quantitative Games on Probabilistic Timed Automata
AU  - Marta Kwiatkowska
AU  - Gethin Norman
AU  - Ashutosh Trivedi
PY  - 2010
UR  - https://arxiv.org/abs/1001.1933
ID  - 1001.1933
ER  -