Dynamical, Hybrid, and Probabilistic Systems: Verification & Explication ((13) A12*)

• Subject Area: Theoretical Computer Science
• Term: since 2023
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 389792660

Classical verification techniques that aim at determining whether a system (model) satisfies a given specification (or not) are often unsatisfactory in practice. Perspicuous verification techniques require more light being shed on why the verification answer holds or not, and how much impact states, system components, or parameters have on the satisfaction or violation of properties. The goal of Project A12 is to provide a solid foundational base for such a perspicuity-aware analysis of dynamical systems, hybrid automata, and probabilistic models. This includes explications and certificates for verification results, various concepts to reason about robustness, quantitative responsibility ascription, and cause-effect relations in operational models.

• DFG Programme: CRC/Transregios
• Subproject of: TRR 248: Foundations of Perspicuous Software Systems - Enabling Comprehension in a Cyber-Physical World
• Applicant Institution: Universität des Saarlandes
• Project Heads: Professorin Dr. Christel Baier; Professor Dr. Rupak Majumdar; Professor Dr. Joël Ouaknine