RoboCert: Property Specification in Robotics

Windsor, Matt orcid.org/0000-0003-1285-0080 and Cavalcanti, Ana orcid.org/0000-0002-0831-1976 (2022) RoboCert: Property Specification in Robotics. In: ICFEM 2022:Formal Methods and Software Engineering. 23rd International Conference on Formal Engineering Methods, 24-27 Oct 2022 Lecture Notes in Computer Science . Springer , ESP , pp. 386-403.

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Copyright, Publisher and Additional Information:

© 2022 Springer Nature Switzerland AG. 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
Keywords: RoboChart,Timed properties,CSP,Sequence diagrams
Dates:
  • Published: 10 October 2022
  • Accepted: 27 June 2022
  • Submitted: 8 April 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/V026801/1
Depositing User: Pure (York)
Date Deposited: 12 Oct 2022 11:00
Last Modified: 13 Mar 2025 05:35
Published Version: https://doi.org/10.1007/978-3-031-17244-1_23
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Identification Number: 10.1007/978-3-031-17244-1_23
Open Archives Initiative ID (OAI ID):

Download

Accepted Version

Filename: ICFEM_2022_windsor_cavalcanti_postprint.pdf

Description: ICFEM_2022_windsor_cavalcanti_postprint

CLICK TO DOWNLOAD [thumbnail of ICFEM_2022_windsor_cavalcanti_postprint]

Export

Statistics


CORE (COnnecting REpositories)