Sleiman Itani
Papers
2
Total Citations
18
H-Index
2
About
Sleiman Itani is a researcher whose work bridges the gap between formal logic and practical multi-robot autonomy. His primary research areas include formal methods for robotics, temporal logic motion planning, and the deployment of autonomous systems in structured environments. Itani’s most notable contribution is the introduction of the Robotic Urban-Like Environment (RULE), a computational framework and experimental testbed for deploying autonomous cars using rich, human-like temporal logic specifications. His seminal 2009 paper on this topic, which has garnered 14 citations, demonstrates how high-level commands about roads, intersections, and parking can be automatically translated into robot behavior. Building on this, Itani explored the critical role of communication in multi-robot systems, showing in his 2010 work (4 citations) how distributed implementations of Linear Temporal Logic (LTL) motion specifications can operate under arbitrary communication constraints. This work highlighted the trade-offs between coordination and autonomy, offering algorithms that function even when communication is limited. Itani’s research provides foundational insights for developing scalable, formally-guaranteed control of autonomous vehicle fleets, making his work essential reading for those interested in the intersection of logic, robotics, and smart infrastructure.
Research Focus
Key Achievements
Top Papers
- 1
- 2