André Platzer
André Platzer
Affiliation: Karlsruhe Institute of Technology
Affiliation: Karlsruhe Institute of Technology (KIT)
Pages in this Program
A Deductive Refinement Calculus for Differential-Algebraic Programs
Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
Complete Robust Hybrid Systems Reachability
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑