Showing 1 - 3 results of 3 for search 'Fränzle, M', query time: 0.02s
Refine Results
-
1
Costs and rewards in priced timed automata by Fränzle, M, Shirmohammadi, M, Swaminathan, M, Worrell, J
Published 2018Journal article -
2
Costs and rewards in priced timed automata by Fränzle, M, Shirmohammadi, M, Swaminathan, M, Worrell, J
Published 2020Journal article -
3
Provably Correct Systems by He, J, Hoare, C, Fränzle, M, Müller−Olm, M, Olderog, E, Schenke, M, Hansen, M, Ravn, A, Rischel, H
Published 1994Conference item