SaRA: A Tool for Safe Human-Robot Coexistence and Collaboration through Reachability Analysis.

Sven R. Schepp Jakob Thumm Stefan B. Liu Matthias Althoff

Published in: ICRA (2022)

Keyphrases

human robot
reachability analysis
human robot interaction
markov decision processes
dialogue system
model checking
timed automata
robotic systems
humanoid robot
human users
action selection
artificial life
real time
artificial intelligence
objective function
domain knowledge