Conference
Property specification patterns for robotic missions
Abstract
Engineering dependable software for mobile robots is becoming increasingly important. A core asset in engineering mobile robots is the mission specification---a formal description of the goals that mobile robots shall achieve. Such mission specifications are used, among others, to synthesize, verify, simulate, or guide the engineering of robot software. Development of precise mission specifications is challenging. Engineers need to translate …
Authors
Menghi C; Tsigkanos C; Berger T; Pelliccione P; Ghezzi C
Pagination
pp. 434-435
Publisher
Association for Computing Machinery (ACM)
Publication Date
May 27, 2018
DOI
10.1145/3183440.3195044
Name of conference
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings