Online verification of multiple safety criteria for a robot trajectory

Dario Beckert, Aaron Pereira, Matthias Althoff. Online verification of multiple safety criteria for a robot trajectory. In 56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017. pages 6454-6461, IEEE, 2017. [doi]

Authors

Dario Beckert

This author has not been identified. Look up 'Dario Beckert' in Google

Aaron Pereira

This author has not been identified. Look up 'Aaron Pereira' in Google

Matthias Althoff

This author has not been identified. Look up 'Matthias Althoff' in Google