Alessio Mosca
Papers
1
Total Citations
5
H-Index
1
About
Alessio Mosca’s research lies at the intersection of robotics, formal methods, and industrial automation, with a focus on multi-robot coordination under complex temporal and synchronization constraints. His most-cited work, “Multi-robot routing and scheduling with temporal logic and synchronization constraints” (2019, 5 citations), addresses a critical challenge in semiconductor manufacturing: planning and scheduling fleets of robots tasked with transporting goods while adhering to strict time windows and synchronization rules. By integrating temporal logic specifications into routing and scheduling algorithms, Mosca enables provably correct and efficient coordination in high-stakes, time-sensitive environments. This work bridges the gap between theoretical formal verification and practical industrial applications, offering scalable solutions for automated material handling systems. His contributions are particularly notable for their direct relevance to advanced manufacturing, where precision and reliability are paramount. Though early in his career, Mosca’s research has already demonstrated significant impact, providing a foundation for future work in multi-agent systems and cyber-physical production. His approach—combining rigorous mathematical modeling with real-world constraints—positions him as a promising voice in the ongoing effort to make industrial robotics both smarter and more dependable.
Research Focus
Key Achievements
Top Papers
- 1