@misc{indiciae91bedb0d8946,
  title = {Costs and Rewards in Priced Timed Automata},
  author = {Martin Fränzle and Mahsa Shirmohammadi and Mani Swaminathan and James Worrell},
  year = {2018},
  url = {https://arxiv.org/abs/1803.01914},
  note = {Source identifier: 1803.01914}
}