C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Verified synthesis of optimal safety controllers for human-robot collaboration.
Mario Gleirscher
Radu Calinescu
James A. Douthwaite
Benjamin Lesage
Colin Paterson
Jonathan M. Aitken
Rob Alexander
James Law
Published in:
Sci. Comput. Program. (2022)
Keyphrases
</>
human robot
human robot interaction
dialogue system
information sharing
action selection
dynamic programming
reinforcement learning
software engineering
humanoid robot
artificial intelligence
multi agent
domain specific
collaborative learning
optimization algorithm
optimal control
robot behavior