Papers

Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, Carlo Ghezzi Specification Patterns for Robotic Missions. IEEE Transactions on Software Engineering, 2019.

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

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