Safety Assurance of an Industrial Robotic Control System Using Hardware/Software Co-Verification

Murray, Yvonne, De Oliveira Salazar Ribeiro, Pedro Fernando orcid.org/0000-0003-4319-4872, Anisi, David A. et al. (2 more authors) Safety Assurance of an Industrial Robotic Control System Using Hardware/Software Co-Verification. In: YorRobots and RoboStar Industry Exhibition, 11-12 Oct 2022, University of York. (Unpublished)

Metadata

Item Type: Conference or Workshop Item
Authors/Creators:
Keywords: robotics,formal verification
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Electronic Engineering (York)
Funding Information:
Funder
Grant number
EPSRC
EP/M025756/1
Depositing User: Pure (York)
Date Deposited: 30 Nov 2022 16:00
Last Modified: 17 Sep 2025 04:59
Status: Unpublished
Refereed: No
Open Archives Initiative ID (OAI ID):

Download

Export

Statistics


CORE (COnnecting REpositories)