Safety Controller Synthesis for Collaborative Robots

Gleirscher, Mario orcid.org/0000-0002-9445-6863 and Calinescu, Radu orcid.org/0000-0002-2678-9260 (2020) Safety Controller Synthesis for Collaborative Robots. In: Proceedings of the 25th International Conference on Engineering of Complex Computer Systems (ICECCS). Engineering of Complex Computer Systems, 28-31 Oct 2020 , SGP

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Dates:
  • Published: 28 October 2020
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 07 Sep 2020 10:10
Last Modified: 21 Jan 2025 18:25
Status: Published
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Filename: ICECCS_2020_safety_controller_synthesis.pdf

Description: ICECCS-2020-safety-controller-synthesis

Export

Statistics