Safety Controller Synthesis for a Mobile Manufacturing Cobot.

Ioannis Stefanakos, Radu Calinescu, James A. Douthwaite, Jonathan M. Aitken, James Law

Browse the full SEFM paper archive.