Journal article
Specification Patterns for Robotic Missions
Abstract
Mobile and general-purpose robots increasingly support everyday life, requiring dependable robotics control software. Creating such software mainly amounts to implementing complex behaviors known as missions. Recognizing this need, a large number of domain-specific specification languages has been proposed. These, in addition to traditional logical languages, allow the use of formally specified missions for synthesis, verification, simulation …
Authors
Menghi C; Tsigkanos C; Pelliccione P; Ghezzi C; Berger T
Journal
IEEE Transactions on Software Engineering, Vol. 47, No. 10, pp. 2208–2224
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
DOI
10.1109/tse.2019.2945329
ISSN
0098-5589