Vladimir Herdt
Papers
2
Total Citations
7
H-Index
2
About
Vladimir Herdt is a researcher at the forefront of formal verification for autonomous robotic systems. His work centers on ensuring the safety and reliability of cognition-enabled robots operating in complex, real-world environments. Herdt’s major contribution is the development of the Intermediate Plan Verification Language (IPVL), a novel framework that enables the first-ever formal verification of robotic plans for everyday manipulation tasks. By translating high-level robot actions into verifiable logic, his approach allows for rigorous safety checks before deployment. His 2019 paper, "Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents," has garnered 4 citations, while his follow-up work in 2020, "Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling," received 3 citations. Though early in its impact, Herdt’s methodology represents a critical step toward bridging the gap between AI planning and formal verification, promising safer autonomous systems in human-centered settings. His research is particularly notable for addressing the challenge of unpredictable real-world interactions, making it a foundational reference for students and researchers in robotics and formal methods.
Research Focus
Key Achievements
Top Papers
- 1
- 2