Robin Baran
Papers
1
Total Citations
10
H-Index
1
About
Robin Baran is a leading researcher in human-robot interaction and formal methods for autonomous systems. Their work centers on developing correct-by-design planning and control frameworks that integrate human oversight with rigorous temporal logic specifications. Baran’s most notable contribution is the creation of a ROS software package for human-in-the-loop planning under Linear Temporal Logic (LTL) tasks, enabling robots to generate provably correct high-level plans while allowing human intervention. This work, published in 2021 and garnering 10 citations, bridges the gap between theoretical formal verification and practical robotic deployment. By combining language-based task specification with real-time human feedback, Baran’s approach enhances safety and adaptability in complex environments. Their research has direct implications for assistive robotics, autonomous driving, and manufacturing, where human-robot collaboration is critical. Baran’s contributions are recognized for advancing the usability of formal methods in real-world systems, making sophisticated planning accessible to practitioners. With a focus on transparency and reliability, their work continues to shape how robots interpret and execute human-guided missions under formal constraints.
Research Focus
Key Achievements
Top Papers
- 1