KiKIT: Foundational Research in Helmholtz
Start: 2023. Ends: 2025
KiKIT is a pilot programme in the Helmholtz Association to evaluate the potential and the need of an integration of basic and foundational research into Helmholtz’ mission of provisional research.
André Platzer is stategical involved as the Speaker of KiKIT.
The group has two position in 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.