SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models

O. Kupferman and M. Y. Vardi, “Model checking of safety properties,” in International Conference on Computer Aided Verification . Springer, 2001, pp. 172–183

2001

Earlier work this paper cites.

A. Duret-Lutz, A. Lewkowicz, A. Fauchille, T. Michaud, E. Renault, and L. Xu, “Spot 2.0—a framework for ltl and-automata manipulation,” in International Symposium on Automated Technology for Verification and Analysis . Springer, 2016, pp. 122–129

2016

Earlier work this paper cites.

J. Gu, Z. Lu, H. Li, and V. O. Li, “Incorporating copying mechanism in sequence-to-sequence learning,” arXiv preprint arXiv:1603.06393 , 2016

Original

2016

Earlier work this paper cites.

N. Gopalan, D. Arumugam, L. Wong, and S. Tellex, “Sequence-to-sequence language grounding of non-markovian task specifications,” in Proceedings of Robotics: Science and Systems , Pittsburgh, Pennsylvania, June 2018

2018

Earlier work this paper cites.

G. D. Giacomo, L. Iocchi, M. Favorito, and F. Patrizi, “Foundations for restraining bolts: Reinforcement learning with ltlf/ldlf restraining specifications,” in International Conference on Automated Planning and Scheduling , 2018. [Online]. Available: https://api.semanticscholar.org/CorpusID:109929091

2018

Earlier work this paper cites.

Y. Oh, R. Patel, T. Nguyen, B. Huang, E. Pavlick, and S. Tellex, “Planning with state abstractions for non-markovian task specifications,” arXiv preprint arXiv:1905.12096 , 2019

Original

2019

Earlier work this paper cites.

M. Berg, D. Bayazit, R. Mathew, A. Rotter-Aboyoun, E. Pavlick, and S. Tellex, “Grounding language to landmarks in arbitrary outdoor environments,” in 2020 IEEE International Conference on Robotics and Automation (ICRA) . IEEE, 2020, pp. 208–215

2020

Earlier work this paper cites.

A. Shah, S. Li, and J. Shah, “Planning with uncertain specifications (puns),” IEEE Robotics and Automation Letters , vol. 5, no. 2, pp. 3414–3421, 2020

2020

Earlier work this paper cites.

C. Wang, C. Ross, B. Katz, and A. Barbu, “Learning a natural-language to ltl executable semantic parser for grounded robotics,” in Conference on Robot Learning , 2020. [Online]. Available: https://api.semanticscholar.org/CorpusID:221083453

2020

Earlier work this paper cites.

J. Panerati, H. Zheng, S. Zhou, J. Xu, A. Prorok, and A. P. Schoellig, “Learning to fly—a gym environment with pybullet physics for reinforcement learning of multi-agent quadcopter control,” in 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) , 2021, pp. 7512–7519

2021

Earlier work this paper cites.

M. Ahn, A. Brohan, N. Brown, Y. Chebotar, O. Cortes, B. David, C. Finn, C. Fu, K. Gopalakrishnan, K. Hausman, et al. , “Do as i can, not as i say: Grounding language in robotic affordances,” arXiv preprint arXiv:2204.01691 , 2022

Original

2022

Earlier work this paper cites.

Y. Jiang, A. Gupta, Z. Zhang, G. Wang, Y. Dou, Y. Chen, L. Fei-Fei, A. Anandkumar, Y. Zhu, and L. Fan, “Vima: General robot manipulation with multimodal prompts,” in NeurIPS 2022 Foundation Models for Decision Making Workshop , 2022

2022

Earlier work this paper cites.

W. Huang, P. Abbeel, D. Pathak, and I. Mordatch, “Language models as zero-shot planners: Extracting actionable knowledge for embodied agents,” arXiv preprint arXiv:2201.07207 , 2022

Original

2022

Earlier work this paper cites.

W. Huang, F. Xia, T. Xiao, H. Chan, J. Liang, P. Florence, A. Zeng, J. Tompson, I. Mordatch, Y. Chebotar, et al. , “Inner monologue: Embodied reasoning through planning with language models,” arXiv preprint arXiv:2207.05608 , 2022

Original

2022

Cited alongside, same era.

J. Xinyu Liu, A. Shah, E. Rosen, G. Konidaris, and S. Tellex, “Skill Transfer for Temporally-Extended Task Specifications,” arXiv e-prints , p. arXiv:2206.05096, June 2022

Original

2022

Cited alongside, same era.

J. Liang, W. Huang, F. Xia, P. Xu, K. Hausman, B. Ichter, P. Florence, and A. Zeng, “Code as policies: Language model programs for embodied control,” in 2023 IEEE International Conference on Robotics and Automation (ICRA) , 2023, pp. 9493–9500

2023

Cited alongside, same era.

I. Singh, V. Blukis, A. Mousavian, A. Goyal, D. Xu, J. Tremblay, D. Fox, J. Thomason, and A. Garg, “Progprompt: Generating situated robot task plans using large language models,” in 2023 IEEE International Conference on Robotics and Automation (ICRA) , 2023, pp. 11 523–11 530

Y. Xie, C. Yu, T. Zhu, J. Bai, Z. Gong, and H. Soh, “Translating natural language to planning goals with large-language models,” arXiv preprint arXiv:2302.05128 , 2023

Original

2023

Later among the works it cites.

B. Liu, Y. Jiang, X. Zhang, Q. Liu, S. Zhang, J. Biswas, and P. Stone, “Llm+ p: Empowering large language models with optimal planning proficiency,” arXiv preprint arXiv:2304.11477 , 2023

Original

2023

Later among the works it cites.

J. Pan, G. Chou, and D. Berenson, “Data-efficient learning of natural language to linear temporal logic translators for robot task specification,” arXiv preprint arXiv:2303.08006 , 2023

Original

2023

Later among the works it cites.

J. X. Liu, Z. Yang, I. Idrees, S. Liang, B. Schornstein, S. Tellex, and A. Shah, “Grounding complex natural language commands for temporal tasks in unseen environments,” in Conference on Robot Learning . PMLR, 2023, pp. 1084–1110

2023

Later among the works it cites.