Marcel Walter
Papers
2
Total Citations
7
H-Index
2
About
Marcel Walter is a researcher at the intersection of formal verification and cognitive robotics, whose work focuses on ensuring the safety and correctness of autonomous robotic agents operating in complex, human-centric environments. His primary contributions lie in developing logic-based frameworks to formally verify the plans of cognition-enabled robots, particularly those performing everyday manipulation tasks. Walter introduced the Intermediate Plan Verification Language (IPVL), a novel formalism that bridges the gap between high-level robot planning and rigorous safety verification. His most cited work, "Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents" (2019, 4 citations), proposes the first approach for verifying such plans against real-world environmental constraints. Building on this, his 2020 paper "Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling" (3 citations) extends the methodology to handle dynamic, uncertain settings. Though his citation counts are modest, Walter’s work represents a foundational step in making autonomous robots safer for human interaction, with potential applications in domestic assistance, healthcare, and industrial automation. His research is particularly valuable for students and researchers seeking to integrate formal methods into robotic planning.
Research Focus
Key Achievements
Top Papers
- 1
- 2