The following publications are possibly variants of this publication:
- Specification Patterns for Robotic MissionsClaudio Menghi, Christos Tsigkanos, Patrizio Pelliccione, Carlo Ghezzi, Thorsten Berger. TSE, 47(10):2208-2224, 2021. [doi]
- Property specification patterns for robotic missionsClaudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, Carlo Ghezzi. ICSE 2018: 434-435 [doi]
- PROMISE: high-level mission specification for multiple robotsSergio García 0002, Patrizio Pelliccione, Claudio Menghi, Thorsten Berger, Tomás Bures. ICSE 2020: 5-8 [doi]
- CROME: Contract-Based Robotic Mission SpecificationPiergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione, Gerardo Schneider. memocode 2020: 1-11 [doi]
- High-level mission specification for multiple robotsSergio García 0002, Patrizio Pelliccione, Claudio Menghi, Thorsten Berger, Tomás Bures. SLE 2019: 127-140 [doi]
- Mission specification and decomposition for multi-robot systemsEric Bernd Gil, Genaína Nunes Rodrigues, Patrizio Pelliccione, Radu Calinescu. ras, 163:104386, May 2023. [doi]