GI-Dagstuhl-Seminar 25513
Tools for Reachability Analysis of Stochastic Hybrid Systems
( 14. Dec – 19. Dec, 2025 )
Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite:
https://www.dagstuhl.de/25513
Organisatoren
- Carina da Silva (Universität Münster, DE)
- Arnd Hartmanns (University of Twente - Enschede, NL)
- József Kovács (RWTH Aachen, DE)
Kontakt
- Heike Clemens (für administrative Fragen)
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
Klassifikation
- Formal Languages and Automata Theory
Schlagworte
- Hybrid systems
- Stochastic systems
- Formal methods
- Modeling
- Verification
