News
Three Papers Accepted at IJCAR 2026
Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements, Enguerrand Prebet, André Platzer Complete Robust Hybrid Systems Reachability, Noah Abou El Wafa, André Platzer A Deductive Refinement-Calculus for Differential-Algebraic Programs Jonathan Hellwig, Long Qian, André Platzer
IJCAR 2026Open researcher positions available
The group has open positions for PhD students, doctoral, and postdoc researchers.
Job advertAdaptive Shielding via Parametric Safety Proofs
How can we keep cyber-physical systems safe in unknown, changing environments? Our latest work empowers engineers to build safety monitors that become increasingly permissive as knowledge about the world is gathered at runtime. Such monitors can be automatically extracted from parametric safety proofs verified with KeYmaera X, leveraging minimal amounts of expert knowledge to offer an unprecedented combination of rigor, modelling flexibility and runtime efficiency.
OOPSLA 2025 PaperPaper "Semi-Competitive Differential Game Logic" accepted at TABLEAUX 2025
Our latest work accepted at TABLEAUX 2025 presents semi-competitive differential game logic, a logic for verifying two-player non-zero sum games! By introducing the notion of “semi-competitiveness” where players help each other where possible and compete where it is necessary, this logic can naturally model interactions between two cyber-physical systems, making it perfectly suited for real-life case studies.
TABLEAUX 2025 PaperAlexander von Humboldt Professorship awarded
André Platzer receives the honour of the Alexander von Humboldt Professorship for Artifical Intelligence, Germany’s most highly endowed international research award. With this award, the Alexander von Humboldt Foundation honors internationally leading researchers of all disciplines.
To the KIT announcement