Costs and rewards in priced timed automata (LIPIcs, 2018)

(untitled) - Fränzle, M; Shirmohammadi, M; Swaminathan, M; Worrell, J