Alphan Ulusoy
Papers
10
Total Citations
401
H-Index
7
About
Alphan Ulusoy is a robotics and formal methods researcher whose work sits at the intersection of multi-robot systems, motion planning, and formal verification. He is best known for pioneering approaches that enable groups of robots to automatically plan optimal, provably correct paths satisfying high-level mission specifications expressed in Linear Temporal Logic (LTL) — a powerful mathematical language for describing complex, time-dependent behaviors. His most influential contribution, "Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints" (2013), has accumulated nearly 200 citations and established a foundational framework in which each robot's motion is modeled as a weighted transition system, allowing missions to be formally specified and efficiently solved. Alongside a series of closely related works from 2011 to 2014, Ulusoy systematically extended this framework to address robustness, synchronization guarantees, and probabilistic environments involving uncontrollable dynamic agents — challenges critical to real-world deployment. His research on incremental controller synthesis and automata-based learning of environmental dynamics further demonstrates a commitment to bridging theoretical rigor with practical adaptability. With over 350 cumulative citations across his most-cited works, Ulusoy has made a lasting impact on the field of formal methods for autonomous robotics, offering future researchers a robust toolkit for designing verifiably safe and efficient multi-robot systems.
Research Focus
Key Achievements
Top Papers
- 1
- 2Robust multi-robot optimal path planning with temporal logic constraints59 citations · 2012
- 3Optimal multi-robot path planning with temporal logic constraints33 citations · 2011
- 4
- 5
- 6
- 7
- 8Robust Multi-Robot Optimal Path Planning with Temporal Logic Constraints7 citations · 2012
- 9
- 10Optimal multi-robot path planning with Temporal Logic constraints2 citations · 2011