Claudio Menghi
Claudio Menghi
Home
Research Philosophy
Tools
Publications
Contact
CV
Light
Dark
Automatic
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
Cite
×