Up a level |
Fränzle, Martin and Shirmohammadi, Mahsa and Swaminathan, Mani and Worrell, James (2018) Costs and rewards in priced timed automata. In: 45th International Colloquium on Automata, Languages, and Programming: ICALP 2018, July 9-13, 2018, Prague, Czech Republic.
Swaminathan, Mani (2016) Quantitative and structural analysis of real-time and probabilistic systems. PhD, Universität Oldenburg.