Papers

Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, Carlo Ghezzi Specification Patterns for Robotic Missions . Submitted (under review).

Claudio Menghi, Christos Tsigkanos, Thorsten Berger, and Patrizio Pelliccione PsALM: Specification of Dependable Robotic Missions. IEEE/ACM ICSE (Companion Volume), 2019 (to appear).

Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, Carlo Ghezzi Property specification patterns for robotic missions. IEEE/ACM ICSE (Companion Volume) 2018: 434-435.