GI-Dagstuhl Seminar 25513
Tools for Reachability Analysis of Stochastic Hybrid Systems
( Dec 14 – Dec 19, 2025 )
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/25513
Organizers
- Carina da Silva (Universität Münster, DE)
- Arnd Hartmanns (University of Twente - Enschede, NL)
- József Kovács (RWTH Aachen, DE)
Contact
- Heike Clemens (for administrative matters)
This GI-Dagstuhl Seminar aims to bring together junior researchers from different research areas related to the modeling and analysis of stochastic hybrid systems. The involved communities address quantitative modeling, the verification of (stochastic) hybrid systems, and statistical model checking. The seminar will cover intersecting research questions around semantics, tool interoperability, benchmarking, and reproducibility. Its goal is to launch discussions, the exchange of ideas, and fruitful collaborations with an emphasis on networking and the training of the participating young scientists to strengthen their qualifications and skills.
Erika Ábrahám, Carina da Silva, Arnd Hartmanns, József Kovács, and Anne Remke
Creative Commons BY 4.0
Erika Ábrahám, Carina da Silva, Arnd Hartmanns, József Kovács, and Anne Remke
Classification
- Formal Languages and Automata Theory
Keywords
- Hybrid systems
- Stochastic systems
- Formal methods
- Modeling
- Verification
