TY  - RPRT
TI  - Costs and Rewards in Priced Timed Automata
AU  - Martin Fränzle
AU  - Mahsa Shirmohammadi
AU  - Mani Swaminathan
AU  - James Worrell
PY  - 2018
UR  - https://arxiv.org/abs/1803.01914
ID  - 1803.01914
ER  -