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

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

Abstract

Metadata

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:
  • Accepted: 5 December 2022
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Funding Information:
FunderGrant number
EPSRCEP/V026747/1
Depositing User: Pure (York)
Date Deposited: 06 Dec 2022 12:50
Last Modified: 09 Feb 2024 00:25
Status: In Press
Refereed: Yes

Download

Filename: IEEE_TSE_2022.pdf

Description: IEEE_TSE_2022

Export

Statistics