Ebrahim Moradi Shahrivar

Papers

Total Citations

H-Index

About

Dr. Ebrahim Moradi Shahrivar is a leading researcher in autonomous robotics and formal methods, specializing in safe motion planning and control for dynamic environments. His most impactful work introduces a pioneering online control framework that enables mobile robots to execute complex missions specified through Linear Temporal Logic (LTL) while guaranteeing collision avoidance with moving obstacles. This framework, detailed in his highly cited 2021 paper, integrates a static planner, local collision avoidance, and reactive synthesis to bridge high-level task specifications with real-time safety constraints. With over 5 citations on this single work, his contributions are recognized for advancing the practical deployment of formal verification in robotics. Dr. Shahrivar’s research addresses critical challenges in autonomous navigation, including temporal logic-based mission planning, dynamic obstacle handling, and provably safe control. His work has significant implications for applications ranging from warehouse automation to autonomous driving, where robots must satisfy intricate, time-sensitive tasks without compromising safety. Through his innovative synthesis of control theory and formal methods, Dr. Shahrivar continues to shape the future of resilient, intelligent autonomous systems.