Fetching the paper…
Reading the bibliography…
This paper addresses planning problems for mobile robots.
Language models are few-shot learners
Tom Brown, Benjamin Mann, Nick Ryder, Melanie Subbiah, Jared D Kaplan, Prafulla Dhariwal, Arvind Neelakantan, Pranav Shyam, Girish Sastry, Amanda Askell, et al · 1901
Earlier work this paper cites.
Improved techniques for grid mapping with rao-blackwellized particle filters
Giorgio Grisetti, Cyrill Stachniss, and Wolfram Burgard. 2007 · 2007
Earlier work this paper cites.
Principles of model checking . Vol. 26202649
Christel Baier and Joost-Pieter Katoen. 2008 · 2008
Earlier work this paper cites.
Statistical machine translation
Philipp Koehn. 2009 · 2009
Earlier work this paper cites.
Following directions using statistical machine translation. In 2010 5th ACM/IEEE International Conference on Human-Robot Interaction (HRI) . IEEE, 251–258
Cynthia Matuszek, Dieter Fox, and Karl Koscher. 2010 · 2010
Earlier work this paper cites.
Learning to interpret natural language navigation instructions from observations. In Proceedings of the AAAI Conference on Artificial Intelligence , Vol. 25. 859–865
David Chen and Raymond Mooney. 2011 · 2011
Earlier work this paper cites.
Understanding natural language commands for robotic navigation and mobile manipulation. In Proceedings of the AAAI Conference on Artificial Intelligence , Vol. 25. 1507–1514
Stefanie Tellex, Thomas Kollar, Steven Dickerson, Matthew Walter, Ashis Banerjee, Seth Teller, and Nicholas Roy. 2011 · 2011
Earlier work this paper cites.
Formal approach to the deployment of distributed robotic teams
Yushan Chen, Xu Chu Ding, Alin Stefanescu, and Calin Belta. 2012 · 2012
Earlier work this paper cites.
Sampling-based temporal logic path planning. In IEEE/RSJ International Conference on Intelligent Robots and Systems . Tokyo, Japan, 4817–4822
Cristian Ioan Vasile and Calin Belta. November 2013 · 2013
Earlier work this paper cites.
A natural language planner interface for mobile manipulators. In 2014 IEEE International Conference on Robotics and Automation (ICRA) . IEEE, 6652–6659
Thomas M Howard, Stefanie Tellex, and Nicholas Roy. 2014 · 2014
Earlier work this paper cites.
Optimal Multi-robot path planning with LTL constraints: guaranteeing correctness through synchronization
Alphan Ulusoy, Stephen L Smith, and Calin Belta. 2014 · 2014
Earlier work this paper cites.
Bottom-up motion and task coordination for loosely-coupled multi-agent systems with dependent local tasks. In IEEE International Conference on Automation Science and Engineering (CASE) . 348–355
Meng Guo and Dimos V Dimarogonas. 2015 · 2015
Earlier work this paper cites.
Towards manipulation planning with temporal logic specifications. In IEEE international conference on robotics and automation (ICRA) . 346–352
Keliang He, Morteza Lahijanian, Lydia E Kavraki, and Moshe Y Vardi. 2015 · 2015
Earlier work this paper cites.
Sampling-based Control Synthesis for Multi-Robot Systems under Global Temporal Specifications. In Cyber-Physical Systems (ICCPS), 8th International Conference on . ACM/IEEE, Pittsburgh, PA, USA
Yiannis Kantaros and Michael M. Zavlanos. 2017 · 2017
Earlier work this paper cites.
Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming. In IEEE 56th Conference on Decision and Control . 1132–1137
Yasser Shoukry, Pierluigi Nuzzo, Ayca Balkan, Indranil Saha, Alberto L Sangiovanni-Vincentelli, Sanjit A Seshia, George J Pappas, and Paulo Tabuada. December 2017 · 2017
Earlier work this paper cites.
Verifiable control of robotic swarm from high-level specifications. In Proceedings of the 17th international conference on autonomous agents and multiagent systems . 568–576
Ji Chen, Salar Moarref, and Hadas Kress-Gazit. 2018 · 2018
Earlier work this paper cites.
Multirobot coordination with counting temporal logics
Yunus Emre Sahin, Petter Nilsson, and Necmiye Ozay. 2019 · 2019
Earlier work this paper cites.
Reactive Temporal Logic Planning for Multiple Robots in Unknown Environments. In IEEE International Conference on Robotics and Automation (ICRA) . 11479–11485
Yiannis Kantaros, Matthew Malencia, Vijay Kumar, and George Pappas. June 2020 · 2020
Earlier work this paper cites.
Stylus*: A temporal logic optimal control synthesis algorithm for large-scale multi-robot systems
Yiannis Kantaros and Michael M Zavlanos. 2020 · 2020
Earlier work this paper cites.
A ROS-based Control Application for a Robotic Platform Using the Gazebo 3D Simulator. In 2020 21th International Carpathian Control Conference (ICCC) . 1–5
Marius Marian, Florin Stîngă, Marian-Terxinius Georgescu, Hora · 2020
Earlier work this paper cites.
Multi-agent strategy synthesis for ltl specifications through assumption composition. In IEEE 16th International Conference on Automation Science and Engineering (CASE) . 533–540
Georg Friedrich Schuppe and Jana Tumova. 2020 · 2020
Earlier work this paper cites.
Language-conditioned imitation learning for robot manipulation tasks
Simon Stepputtis, Joseph Campbell, Mariano Phielipp, Stefan Lee, Chitta Baral, and Heni Ben Amor. 2020 · 2020
Earlier work this paper cites.
A gentle introduction to conformal prediction and distribution-free uncertainty quantification
Anastasios N Angelopoulos and Stephen Bates. 2021 · 2021
Earlier work this paper cites.
Integrated task and motion planning
Caelan Reed Garrett, Rohan Chitnis, Rachel Holladay, Beomjoon Kim, Tom Silver, Leslie Pack Kaelbling, and Tomás Lozano-Pérez. 2021 · 2021
Earlier work this paper cites.
An abstraction-free method for multirobot temporal logic optimal control synthesis
Xusheng Luo, Yiannis Kantaros, and Michael M Zavlanos. 2021 · 2021
Cited alongside, same era.
Reactive planning for mobile manipulation tasks in unexplored semantic environments. In IEEE International Conference on Robotics and Automation (ICRA) . 6385–6392
Vasileios Vasilopoulos, Yiannis Kantaros, George J Pappas, and Daniel E Koditschek. 2021 · 2021
Cited alongside, same era.
Do as i can, not as i say: Grounding language in robotic affordances
Michael Ahn, Anthony Brohan, Noah Brown, Yevgen Chebotar, Omar Cortes, Byron David, Chelsea Finn, Chuyuan Fu, Keerthana Gopalakrishnan, Karol Hausman, et al · 2022
Cited alongside, same era.
Collaborative rover-copter path planning and exploration with temporal logic specifications based on Bayesian update under uncertain environments
Kazumune Hashimoto, Natsuko Tsumagari, and Toshimitsu Ushio. 2022 · 2022
Cited alongside, same era.
Inner monologue: Embodied reasoning through planning with language models
Wenlong Huang, Fei Xia, Ted Xiao, Harris Chan, Jacky Liang, Pete Florence, Andy Zeng, Jonathan Tompson, Igor Mordatch, Yevgen Chebotar, et al · 2022
Code as policies: Language model programs for embodied control. In IEEE International Conference on Robotics and Automation (ICRA) . 9493–9500
Jacky Liang, Wenlong Huang, Fei Xia, Peng Xu, Karol Hausman, Brian Ichter, Pete Florence, and Andy Zeng. 2023 · 2023
Closest in time.
Conformal prediction for stl runtime verification. In Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023) . 142–153
Lars Lindemann, Xin Qin, Jyotirmoy V Deshmukh, and George J Pappas. 2023 · 2023
Closest in time.
Llm+ p: Empowering large language models with optimal planning proficiency
Bo Liu, Yuqian Jiang, Xiaohan Zhang, Qiang Liu, Shiqi Zhang, Joydeep Biswas, and Peter Stone. 2023 · 2023
Closest in time.
Obtaining Hierarchy from Human Instructions: an LLMs-based Approach. In CoRL 2023 Workshop on Learning Effective Abstractions for Planning (LEAP)
Xusheng Luo, Shaojun Xu, and Changliu Liu. 2023 · 2023
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Perception-based temporal logic planning in uncertain semantic maps
Yiannis Kantaros, Samarth Kalluraya, Qi Jin, and George J Pappas. 2022 · 2022
Cited alongside, same era.
Fast decomposition of temporal logic specifications for heterogeneous teams
Kevin Leahy, Austin Jones, and Cristian Ioan Vasile. 2022 · 2022
Cited alongside, same era.
Pre-trained language models for interactive decision-making
Shuang Li, Xavier Puig, Chris Paxton, Yilun Du, Clinton Wang, Linxi Fan, Tao Chen, De-An Huang, Ekin Akyürek, Anima Anandkumar, et al · 2022
Cited alongside, same era.
Turtlebot E-Manual
OpenRobotics. 2022 · 2022
Cited alongside, same era.
Vision-Based Reactive Temporal Logic Motion Planning for Quadruped Robots in Unstructured Dynamic Environments
Zhangli Zhou, Ziyang Chen, Mingyu Cai, Zhijun Li, Zhen Kan, and Chun-Yi Su. 2023 · 2022
Cited alongside, same era.
Conformal prediction: A gentle introduction
Anastasios N Angelopoulos, Stephen Bates, et al · 2023
Cited alongside, same era.
Multiple mobile robot task and motion planning: A survey
Luke Antonyshyn, Jefferson Silveira, Sidney Givigi, and Joshua Marshall. 2023 · 2023
Cited alongside, same era.
Zhenjiang Mao, Carson Sobolewski, and Ivan Ruchkin. 2023 · 2023
Closest in time.
Multi-agent reachability calibration with conformal prediction. In 2023 62nd IEEE Conference on Decision and Control (CDC) . IEEE, 6596–6603
Anish Muthali, Haotian Shen, Sampada Deglurkar, Michael H Lim, Rebecca Roelofs, Aleksandra Faust, and Claire Tomlin. 2023 · 2023
Closest in time.
Sayplan: Grounding large language models using 3d scene graphs for scalable robot task planning. In 7th Annual Conference on Robot Learning
Krishan Rana, Jesse Haviland, Sourav Garg, Jad Abou-Chakra, Ian Reid, and Niko Suenderhauf. 2023 · 2023
Closest in time.
Robots That Ask For Help: Uncertainty Alignment for Large Language Model Planners
Allen Z. Ren, Anushri Dixit, Alexandra Bodrova, Sumeet Singh, Stephen Tu, Noah Brown, Peng Xu, Leila Takayama, Fei Xia, Jake Varley, Zhenjia Xu, Dorsa Sadigh, Andy Zeng, and Anirudha Majumdar. 2023 · 2023
Closest in time.
TPTU: Task Planning and Tool Usage of Large Language Model-based AI Agents
Jingqing Ruan, Yihong Chen, Bin Zhang, Zhiwei Xu, Tianpeng Bao, Guoqing Du, Shiwei Shi, Hangyu Mao, Xingyu Zeng, and Rui Zhao. 2023 · 2023
Closest in time.
Lm-nav: Robotic navigation with large pre-trained models of language, vision, and action. In Conference on Robot Learning . PMLR, 492–504
Dhruv Shah, Błażej Osiński, Sergey Levine, et al · 2023
Closest in time.
Progprompt: Generating situated robot task plans using large language models. In IEEE International Conference on Robotics and Automation (ICRA) . 11523–11530
Ishika Singh, Valts Blukis, Arsalan Mousavian, Ankit Goyal, Danfei Xu, Jonathan Tremblay, Dieter Fox, Jesse Thomason, and Animesh Garg. 2023 · 2023
Closest in time.
Scalable safe long-horizon planning in dynamic environments leveraging conformal prediction and temporal correlations. In Long-Term Human Motion Prediction Workshop, International Conference on Robotics and Automation
Sander Tonkens, Sophia Sun, Rose Yu, and Sylvia Herbert. 2023 · 2023
Closest in time.
Llama 2: Open foundation and fine-tuned chat models
Hugo Touvron, Louis Martin, Kevin Stone, Peter Albert, Amjad Almahairi, Yasmine Babaei, Nikolay Bashlykov, Soumya Batra, Prajjwal Bhargava, Shruti Bhosale, et al · 2023
Closest in time.
Distributed Task Allocation and Planning under Temporal Logic and Communication Constraints
Ziyang Chen, Lin Li, and Zhen Kan. 2024 · 2024
Closest in time.
https://vimeo.com/994077187?share=copy .
Demonstrations. 2024 · 2024
Closest in time.
A Survey of Language-Based Communication in Robotics
William Hunt, Sarvapali D Ramchurn, and Mohammad D Soorati. 2024 · 2024
Closest in time.
Vishal Pallagani, Kaushik Roy, Bharath Muppasani, Francesco Fabiano, Andrea Loreggia, Keerthiram Murugesan, Biplav Srivastava, Francesca Rossi, Lior Horesh, and Amit Sheth. 2024 · 2024
Closest in time.
Statistical verification using surrogate models and conformal inference and a comparison with risk-aware verification
Xin Qin, Yuan Xia, Aditya Zutshi, Chuchu Fan, and Jyotirmoy V Deshmukh. 2024 · 2024
Closest in time.
Verifiably Following Complex Robot Instructions with Foundation Models
Benedict Quartey, Eric Rosen, Stefanie Tellex, and George Konidaris. 2024 · 2024
Closest in time.
Neurosymbolic motion and task planning for linear temporal logic tasks
Xiaowu Sun and Yasser Shoukry. 2024 · 2024
Closest in time.
On the planning abilities of large language models-a critical investigation
Karthik Valmeekam, Matthew Marquez, Sarath Sreedharan, and Subbarao Kambhampati. 2024 · 2024
Closest in time.
Memory-based Distribution Shift Detection for Learning Enabled Cyber-Physical Systems with Statistical Guarantees
Yahan Yang, Ramneet Kaur, Souradeep Dutta, and Insup Lee. 2024a · 2024
Closest in time.
Text2Reaction: Enabling Reactive Task Planning Using Large Language Models
Zejun Yang, Li Ning, Haitao Wang, Tianyu Jiang, Shaolin Zhang, Shaowei Cui, Hao Jiang, Chunpeng Li, Shuo Wang, and Zhaoqi Wang. 2024b · 2024
Closest in time.
Task and motion planning with large language models for object rearrangement. In 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) . IEEE, 2086–2092
Yan Ding, Xiaohan Zhang, Chris Paxton, and Shiqi Zhang. 2023 · 2092
Closest in time.