Anne-Kathrin Schmuck

Max Planck Institute for Software Systems

Papers

Total Citations

H-Index

About

Anne-Kathrin Schmuck is a rising leader in formal methods and control theory, specializing in the synthesis of correct-by-construction controllers for complex, cyber-physical systems. Her research bridges the gap between high-level logical specifications and low-level physical dynamics, tackling challenges in robotics, autonomy, and safety-critical systems. Schmuck’s major contributions include pioneering work on contract-based distributed controller synthesis, which provides a sound and complete framework for coordinating interacting system components, and her development of context-triggered games for reactive synthesis over stochastic systems, enabling robust decision-making under uncertainty. She has also advanced abstraction-based controller design, introducing resilient controllers that guarantee linear-time temporal logic specifications even under perturbations. Her dynamic hierarchical reactive controller synthesis approach addresses scalability issues in game-solving algorithms, making formal synthesis practical for larger applications. With her most-cited paper, "PGCD" (2019, 7 citations), laying foundational work on programming paradigms for robotics, and ongoing publications in top venues (2024), Schmuck’s research is shaping the future of automated, verifiable control for autonomous systems. Her work is essential reading for students and researchers seeking to integrate formal verification with real-world control challenges.