SaRA: A Tool for Safe Human-Robot Coexistence and Collaboration through Reachability Analysis. - Sven R. Schepp; Jakob Thumm; Stefan B. Liu; Matthias Althoff (ICRA, 2022)