PsALM: specification of dependable robotic missions.

Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione

Browse the full ICSE paper archive.