Dror Fried
Papers
2
Total Citations
149
H-Index
2
About
Dror Fried is a leading researcher in robotics and artificial intelligence, specializing in temporal logic planning for autonomous systems operating under uncertainty. His work bridges the critical gap between high-level task specifications and low-level motion control, enabling robots to make intelligent decisions in partially unknown environments. Fried’s most influential contribution is his iterative temporal planning framework, introduced in his highly cited 2016 paper (94 citations), which guarantees partial satisfaction of complex temporal logic specifications—combining cosafety and safety components—even when full compliance is impossible. This breakthrough addresses a fundamental limitation of traditional Boolean satisfaction in temporal logics, as further explored in his 2015 work (55 citations), where he pioneered a quantitative approach that allows robots to “settle for a cost” rather than failing entirely. By introducing layered synergistic planners and cost-based relaxation mechanisms, Fried has significantly advanced the practicality of formal methods in robotics. His research has profound implications for autonomous navigation, human-robot interaction, and mission-critical systems where perfect adherence to specifications is often unattainable, making him a key figure in the evolution of resilient, real-world robotic intelligence.
Research Focus
Key Achievements
Top Papers
- 1
- 2