Showing 2023Show all
2 papers · 1 filter
cs.FL2023
Comparing Two Approaches to Include Stochasticity in Hybrid Automata
Lisa Willemsen, Anne Remke, Erika Ábrahám
Different stochastic extensions of hybrid automata have been proposed in the past, with unclear expressivity relations between them. To structure and relate these modeling language…
cs.FL2023
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…