Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks.

Joanna Delicaris, Stefan Schupp, Erika brahm, Anne Remke

Browse the full TASE paper archive.