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