Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks

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…