Biblio

Filters: Author is Mahsa Shirmohammadi  [Clear All Filters]
2020-10-12
Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell.  2020.  Costs and rewards in priced timed automata. Information and Computation.
2020-10-01
Martin Fränzle, Karin Quaas, Mahsa Shirmohammadi, James Worrell.  2020.  Effective definability of the reachability relation in timed automata. Information Processing Lettera. 153:105871.