Property specification patterns for robotic missions

Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, Carlo Ghezzi. Property specification patterns for robotic missions. In Michel Chaudron, Ivica Crnkovic, Marsha Chechik, Mark Harman, editors, Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018. pages 434-435, ACM, 2018. [doi]

Authors

Claudio Menghi

This author has not been identified. Look up 'Claudio Menghi' in Google

Christos Tsigkanos

This author has not been identified. Look up 'Christos Tsigkanos' in Google

Thorsten Berger

This author has not been identified. Look up 'Thorsten Berger' in Google

Patrizio Pelliccione

This author has not been identified. It may be one of the following persons: Look up 'Patrizio Pelliccione' in Google

Carlo Ghezzi

This author has not been identified. Look up 'Carlo Ghezzi' in Google