Property specification patterns for robotic missions.

Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, Carlo Ghezzi

Browse the full ICSE paper archive.