Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties

Menghi, Claudio, Tsigkanos, Christos, Askarpour, Mehrnoosh et al. (4 more authors) (2024) Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties. IEEE Transactions on Software Engineering. pp. 2741-2760. ISSN 0098-5589

Abstract

Metadata

Item Type: Article
Authors/Creators:
  • Menghi, Claudio
  • Tsigkanos, Christos
  • Askarpour, Mehrnoosh
  • Pelliccione, Patrizio
  • Vazquez, Gricel (gricel.vazquez@york.ac.uk)
  • Calinescu, Radu ORCID logo https://orcid.org/0000-0002-2678-9260
  • Garcia, Sergio
Copyright, Publisher and Additional Information:

This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

Dates:
  • Published: 1 April 2024
  • Published (online): 29 December 2022
  • Accepted: 5 December 2022
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Funding Information:
Funder
Grant number
EPSRC
EP/V026747/1
Depositing User: Pure (York)
Date Deposited: 06 Dec 2022 12:50
Last Modified: 30 Nov 2024 01:17
Published Version: https://doi.org/10.1109/TSE.2022.3230059
Status: Published
Refereed: Yes
Identification Number: 10.1109/TSE.2022.3230059
Open Archives Initiative ID (OAI ID):

Download

Filename: IEEE_TSE_2022.pdf

Description: IEEE_TSE_2022

Export

Statistics