TY  - RPRT
TI  - Mean-Payoff Games on Timed Automata
AU  - Shibashis Guha
AU  - Marcin Jurdzinski
AU  - Krishna S.
AU  - Ashutosh Trivedi
PY  - 2016
DO  - 10.4230/lipics.fsttcs.2016.44
UR  - https://arxiv.org/abs/1607.08480
ID  - 1607.08480
ER  -