Amy Fang, Hadas Kress-Gazit. Automated Task Updates of Temporal Logic Specifications for Heterogeneous Robots. In 2022 International Conference on Robotics and Automation, ICRA 2022, Philadelphia, PA, USA, May 23-27, 2022. pages 4363-4369, IEEE, 2022. [doi]
Abstract is missing.