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]
@inproceedings{FangK22,
title = {Automated Task Updates of Temporal Logic Specifications for Heterogeneous Robots},
author = {Amy Fang and Hadas Kress-Gazit},
year = {2022},
doi = {10.1109/ICRA46639.2022.9812045},
url = {https://doi.org/10.1109/ICRA46639.2022.9812045},
researchr = {https://researchr.org/publication/FangK22},
cites = {0},
citedby = {0},
pages = {4363-4369},
booktitle = {2022 International Conference on Robotics and Automation, ICRA 2022, Philadelphia, PA, USA, May 23-27, 2022},
publisher = {IEEE},
isbn = {978-1-7281-9681-7},
}