TY - RPRT TI - Provably Safe Control of Lagrangian Systems in Obstacle-Scattered Environments AU - Fernando S. Barbosa AU - Lars Lindemann AU - Dimos V. Dimarogonas AU - Jana Tumova PY - 2020 DO - 10.1109/cdc42340.2020.9304160 UR - https://arxiv.org/abs/2009.02148 ID - 2009.02148 ER -