Jonas Warnke
Papers
4
Total Citations
55
H-Index
4
About
Jonas Warnke is a robotics and autonomous systems researcher whose work sits at the intersection of formal methods, legged locomotion, and multi-agent coordination. His research focuses primarily on task and motion planning (TAMP) for bipedal robots navigating complex, real-world environments characterized by dynamic obstacles, uneven terrain, and partial observability. Warnke's most significant contribution is his hierarchically integrated TAMP framework for safe legged navigation, which has garnered 29 citations since its 2023 publication and builds on foundational work dating back to 2020. This framework elegantly combines high-level symbolic planning — leveraging linear temporal logic (LTL) for reactive game synthesis — with low-level phase-space motion planning, providing multi-level safety guarantees that are critical for deploying bipedal robots in unpredictable environments. Beyond single-robot systems, Warnke has expanded his research into multi-agent settings, introducing controller synthesis frameworks that enable heterogeneous agent teams to collaboratively resolve runtime environmental conflicts using temporal-logic-based reactive synthesis. With over 55 cumulative citations across his key publications, his work represents an important bridge between formal verification techniques and practical robotic locomotion, making robots demonstrably safer and more capable in partially observable, real-world scenarios.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3
- 4