4 citations · 16 across the 15 of their papers we have counts for
1 paper · 2 filters
Vojtěch Forejt, Marta Kwiatkowska, Gethin Norman +1
Probabilistic timed automata are a suitable formalism to model systems with real-time, nondeterministic and probabilistic behaviour. We study two-player zero-sum games on such auto…