TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


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

Contact

Description
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.
Copyright 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