Costs and rewards in priced timed automata
| Title | Costs and rewards in priced timed automata |
| Publication Type | Journal Article |
| Year of Publication | 2020 |
| Authors | Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell |
| Journal | Information and Computation |
| Citation Key | node-71115 |