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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.