Pauline Blohm, Felix Schulz, Lisa Willemsen, Anne Remke, Paula Herber. Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata. In Pavithra Prabhakar, Andrea Vandin, editors, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26-28, 2025, Proceedings. Volume 16143 of Lecture Notes in Computer Science, pages 389-408, Springer, 2025. [doi]
Abstract is missing.