Leonore Winterer

Papers

Total Citations

H-Index

About

Dr. Leonore Winterer is a leading researcher in formal methods and robotics, specializing in the synthesis of reliable strategies for autonomous systems operating under uncertainty. Her work bridges the gap between theoretical verification and practical robot planning, with a particular focus on partially observable Markov decision processes (POMDPs). Her most cited paper, "Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions" (2020, 13 citations), introduces a novel framework that transforms complex POMDP synthesis problems into simpler game-based abstractions, enabling the computation of strategies that guarantee both safety and performance specifications. This contribution is pivotal for deploying robots in real-world environments where sensors are noisy and information is incomplete. By providing formal guarantees for decision-making under partial observability, Winterer’s research advances the reliability of autonomous systems in applications ranging from warehouse logistics to search-and-rescue missions. Her work is recognized for its elegance in combining theoretical rigor with algorithmic efficiency, making it accessible to both verification experts and roboticists. With growing citation impact, Winterer continues to shape the frontier of safe and trustworthy autonomous decision-making.