45 citations · 68 across the 20 of their papers we have counts for
1 paper · 1 filter
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…