RoboWorld:Verification of Robotic Systems with Environment in the Loop

Baxter, James, Carvalho, Gustavo, Cavalcanti, Ana orcid.org/0000-0002-0831-1976 et al. (1 more author) (2023) RoboWorld:Verification of Robotic Systems with Environment in the Loop. Formal Aspects of Computing. 26. ISSN 1433-299X

Abstract

Metadata

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

Funding Information: The work reported here is funded by the Royal Academy of Engineering grant CiET1718/45, UK EPSRC grants EP/M025756/1 and EP/R025479/1, and UKRI TAS Verifiability Node EP/V026801/1. The work is also partially supported by CNPq grant 465614/2014-0, CAPES grant 88887.136410/2017-00, and FACEPE grants APQ-0399-1.03/17 and PRONEX APQ/0388-1.03/14. Publisher Copyright: © 2023 held by the owner/author(s). Publication rights licensed to ACM.

Keywords: controlled natural languages,domain-specific languages,hybrid systems,Model-driven engineering,process algebra
Dates:
  • Published: 20 November 2023
  • Accepted: 22 September 2023
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 03 Jan 2024 10:30
Last Modified: 16 Oct 2024 19:41
Published Version: https://doi.org/10.1145/3625563
Status: Published
Refereed: Yes
Identification Number: 10.1145/3625563
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Filename: 3625563.pdf

Description: RoboWorld: Verification of Robotic Systems with Environment in the Loop

Licence: CC-BY 2.5

Export

Statistics