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: |
|
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): | oai:eprints.whiterose.ac.uk:165173 |
Download
Filename: ICECCS_2020_safety_controller_synthesis.pdf
Description: ICECCS-2020-safety-controller-synthesis