Patrizio Pelliccione

Latest

• Mind the gap: Robotic Mission Planning Meets Software Engineering
• PuRSUE - From Specification of Robotic Environments to Synthesis of Controllers
• 2019 IEEE/ACM 2nd International Workshop on Robotics Software Engineering (RoSE)
• High-level mission specification for multiple robots
• MAPmAKER: performing multi-robot LTL planning under uncertainty
• PsALM: specification of dependable robotic missions
• Specification patterns for robotic missions
• An Architecture for Decentralized, Collaborative, and Autonomous Robots
• Keeping intelligence under control
• Multi-Robot LTL Planning Under Uncertainty
• Property specification patterns for robotic missions