Journal article
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties
Abstract
With many applications across domains as diverse as logistics, healthcare, and agriculture, service robots are in increasingly high demand. Nevertheless, the designers of these robots often struggle with specifying their tasks in a way that is both human-understandable and sufficiently precise to enable automated verification and planning of robotic missions. Recent research has addressed this problem for the functional aspects of robotic …
Authors
Menghi C; Tsigkanos C; Askarpour M; Pelliccione P; Vázquez G; Calinescu R; García S
Journal
IEEE Transactions on Software Engineering, Vol. 49, No. 4, pp. 2741–2760
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
DOI
10.1109/tse.2022.3230059
ISSN
0098-5589