11 citations · 14 across the 4 of their papers we have counts for
1 paper · 1 filter
Joanna Delicaris, Stefan Schupp, Erika Ábrahám +1
This paper proposes an algorithm to maximize reachability probabilities for rectangular automata with random clocks via a history-dependent prophetic scheduler. This model class in…