Safety Controller Synthesis for Collaborative Robots

Metadata

Item Type:	Proceedings Paper
Authors/Creators:	Gleirscher, Mario https://orcid.org/0000-0002-9445-6863 Calinescu, Radu https://orcid.org/0000-0002-2678-9260
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:	17 Sep 2025 04:40
Status:	Published
Related URLs:	https://arxiv.org/abs/2007.03340
Open Archives Initiative ID (OAI ID):	oai:eprints.whiterose.ac.uk:165173

Filename: ICECCS_2020_safety_controller_synthesis.pdf

Description: ICECCS-2020-safety-controller-synthesis

CLICK TO DOWNLOAD

CORE (COnnecting REpositories)