Formal Design, Verification and Implementation of Robotic Controller Software via RoboChart and RoboTool

Li, Wei orcid.org/0000-0001-9786-585X, Ribeiro, Pedro orcid.org/0000-0003-4319-4872, Miyazawa, Alvaro orcid.org/0000-0003-2233-9091 et al. (5 more authors) (2024) Formal Design, Verification and Implementation of Robotic Controller Software via RoboChart and RoboTool. Autonomous Robots. 14. ISSN 0929-5593

Abstract

Metadata

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

© The Author(s) 2024

Dates:
  • Published: 5 July 2024
  • Accepted: 20 April 2024
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Electronic Engineering (York)
The University of York > Faculty of Sciences (York) > Computer Science (York)
Funding Information:
Funder
Grant number
EPSRC
EP/M025756/1
EPSRC
EP/R025479/1
Depositing User: Pure (York)
Date Deposited: 10 May 2024 09:10
Last Modified: 17 Oct 2024 08:55
Published Version: https://doi.org/10.1007/s10514-024-10163-7
Status: Published
Refereed: Yes
Identification Number: 10.1007/s10514-024-10163-7
Open Archives Initiative ID (OAI ID):

Download

Filename: s10514-024-10163-7.pdf

Description: Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool

Licence: CC-BY 2.5

Export

Statistics