Items where Funder is University of York.
Jump to: N/A
Number of items: 2.
N/A
Gleirscher, M., Calinescu, R., Douthwaite, J. orcid.org/0000-0002-7149-0372 et al. (5 more authors) (2021) Verified synthesis of optimal safety controllers for human-robot collaboration. arXiv. (Submitted)
Gleirscher, M., Calinescu, R., Douthwaite, J. orcid.org/0000-0002-7149-0372 et al. (5 more authors) (2021) Verified synthesis of optimal safety controllers for human-robot collaboration. arXiv. (Submitted)