Costs and rewards in priced timed automata - Fränzle, M; Shirmohammadi, M; Swaminathan, M; Worrell, J (LIPIcs, 2018)