KIT - Karlsruhe Institute of Technology
Home
Legals
Privacy Policy
Accessibility
Sitemap
KIT
Home
Team
Offers
Teaching
Research
Publications
Logic of Autonomous Dynamical Systems
Formalization of Game Logic with Sabotage in Isabelle/HOL