KiKIT: Foundational Research in Helmholtz

The logic of autonomous dynamical systems group is part of the Helmholtz Pilot Program Core-Informatics at KIT (KiKIT).

Logical Refinement Reasoning for Dynamical Systems

System properties and system relations are the two fundamental judgments about dynamical systems (or programs). This project aims at uniting both styles of reasoning in a single logic implementable in a theorem prover microkernel. This makes it possible to implement the first verification tool supporting mix and match reasoning about dynamical systems.

Logical Reasoning for Generalized Games in Dynamical Systems

Games are a fundamental addition to the dynamics of systems. Their systematic study and identification of their reasoning principles is at the heart and soul of understanding the principles of interaction in dynamics. But current hybrid games are for zero-sum two player games in which one player’s win is another player’s loss. While this is the perfect model for competitive situations, reality needs more nuance. This project investigates logical reasoning principles for generalized game play with non-zero-sum objectives.