Florian Zuleger

Papers

Total Citations

H-Index

About

Florian Zuleger is a leading researcher in formal verification and multi-agent systems, with a focus on ensuring the reliability of autonomous robots operating in partially-known environments. His work bridges theoretical computer science and practical robotics, addressing the critical challenge of verifying agent navigation when environmental knowledge is incomplete. Zuleger’s most-cited paper, “Verification of Asynchronous Mobile-Robots in Partially-Known Environments” (2015, 28 citations), introduces novel techniques for proving correctness in asynchronous, distributed robotic systems—a foundational contribution to the field. Building on this, his 2022 follow-up, “Verification of agent navigation in partially-known environments” (9 citations), extends these methods to more complex navigation tasks, demonstrating sustained impact. His research has been instrumental in developing formal frameworks that guarantee safety and liveness properties for autonomous agents, with applications in search-and-rescue, exploration, and industrial automation. Zuleger’s work is widely cited by both verification theorists and robotics engineers, reflecting its cross-disciplinary significance. His achievements include advancing the state of the art in automated reasoning for mobile robotics, making him a key figure in the quest for provably reliable autonomous systems.