Automated Task Updates of Temporal Logic Specifications for Heterogeneous Robots

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]

Authors

Amy Fang

This author has not been identified. Look up 'Amy Fang' in Google

Hadas Kress-Gazit

This author has not been identified. Look up 'Hadas Kress-Gazit' in Google