https://logic.kastel.kit.edu/news/Recent content in News on Logic of Autonomous Dynamical SystemsHugoen-usSun, 14 Jun 2026 00:00:00 +0000https://logic.kastel.kit.edu/news/2026-06-ijcar-papers/Sun, 14 Jun 2026 00:00:00 +0000https://logic.kastel.kit.edu/news/2026-06-ijcar-papers/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é Platzerhttps://logic.kastel.kit.edu/news/2023-07-open-positions/Sun, 01 Mar 2026 00:00:00 +0000https://logic.kastel.kit.edu/news/2023-07-open-positions/The group has open positions for PhD students, doctoral, and postdoc researchers.https://logic.kastel.kit.edu/news/2025-11-parametricshielding/Thu, 06 Nov 2025 00:00:00 +0000https://logic.kastel.kit.edu/news/2025-11-parametricshielding/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.https://logic.kastel.kit.edu/news/2025-09-tableaux_paper/Sat, 27 Sep 2025 00:00:00 +0000https://logic.kastel.kit.edu/news/2025-09-tableaux_paper/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.https://logic.kastel.kit.edu/news/2024-01-cfp-fm/Thu, 01 Feb 2024 00:00:00 +0000https://logic.kastel.kit.edu/news/2024-01-cfp-fm/The Call for Paper for Formal Methods 2024 is announced.https://logic.kastel.kit.edu/news/2023-01-avh/Sun, 01 Jan 2023 00:00:00 +0000https://logic.kastel.kit.edu/news/2023-01-avh/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.