Papers
2
Total Citations
101
H-Index
2
About
Shaull Almagor is a researcher working at the intersection of formal methods, robotics, and automated planning, with particular expertise in temporal logic and multi-robot systems. His work addresses fundamental challenges in making autonomous systems both expressive and practically deployable in complex real-world environments. One of Almagor's most recognized contributions is his development of quantitative approaches to temporal logic planning. His 2015 paper, which has garnered 55 citations, introduced a groundbreaking method that relaxes the traditionally rigid Boolean satisfaction conditions of temporal logics, allowing robots to pursue partial goal satisfaction with associated costs — a significant step toward bridging task and motion planning in robotics. This work fundamentally shifted how researchers think about specification and planning under incomplete or conflicting goals. His 2022 work on Conflict-Based Search for multi-robot motion planning under kinodynamic constraints, accumulating 46 citations, further demonstrates his commitment to tackling computationally hard problems with rigorous, complete algorithmic solutions where prior approaches required oversimplifying assumptions. Together, these contributions reflect Almagor's broader mission: equipping autonomous systems with theoretically sound yet practically effective tools for operating in dynamic, constrained environments — making him a notable voice in formal methods applied to robotics.
Research Focus
Key Achievements
Top Papers
- 1
- 2