Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks

Delicaris, Joanna (Corresponding author); Schupp, Stefan (Corresponding author); Ábrahám, Erika (Corresponding author); Remke, Anne (Corresponding author)

(2023)
Preprint

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehr- und Forschungsgebiet Theorie Hybrider Systeme [123420]