Comparing Two Approaches to Include Stochasticity in Hybrid Automata

Willemsen, Lisa (Corresponding author); Remke, Anne (Corresponding author); Ábrahám, Erika (Corresponding author)

(2023)
Preprint

Institutions

• Department of Computer Science [120000]
• Theory of Hybrid Systems Research Group [123420]