论文信息 - Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration - 字舞流文

Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration

Jonathan M. Aitken | James A. Douthwaite | R. Alexander | Mario Gleirscher | R. Calinescu | James Law | J. Aitken | Benjamin Lesage | Colin Paterson