GI-Dagstuhl-Seminar — Tools for Reachability Analysis of Stochastic Hybrid Systems

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.

Topics: Hybrid systems; Stochastic systems; Formal methods; Modeling; Verification; Formal Languages and Automata Theory