Items where Author is "Swaminathan, Mani"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

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.

This list was generated on Thu Nov 21 00:35:14 2024 CET.