Safety Controller Synthesis for Collaborative Robots

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of the 25th International Conference on Engineering of Complex Computer Systems (ICECCS)
Publication statusPublished - 28 Oct 2020
EventEngineering of Complex Computer Systems - , Singapore
Duration: 28 Oct 202031 Oct 2020
Conference number: 25
https://formal-analysis.com/iceccs/2020/

Conference

ConferenceEngineering of Complex Computer Systems
Abbreviated titleICECCS
Country/TerritorySingapore
Period28/10/2031/10/20
Internet address

Cite this