Daniel GroBe

Papers

Total Citations

H-Index

About

Daniel Große is a leading researcher in the formal verification of autonomous robotic systems, with a particular focus on cognition-enabled agents operating in human environments. His most cited work, "Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents" (2019), introduces the first systematic approach for verifying plans of robots performing everyday manipulation tasks. Große’s key contribution is the development of the Intermediate Plan Verification Language (IPVL), a novel framework that bridges the gap between high-level cognitive planning and low-level execution, enabling rigorous safety and correctness guarantees for autonomous behaviors. This foundational work has garnered 4 citations and is recognized as a pioneering step toward trustworthy human-robot interaction. Beyond this, Große’s research spans the intersection of robotics, artificial intelligence, and formal methods, addressing critical challenges in plan validation for complex, dynamic environments. His achievements include advancing the theoretical foundations for verifiable autonomy, with implications for domestic service robots, healthcare assistants, and industrial automation. Große’s work continues to inspire new approaches in safe AI and robotic verification, making him a notable figure in the quest for reliable, cognition-enabled autonomous agents.