Fetching the paper…
Reading the bibliography…
Task and motion planning (TAMP) for multi-robot systems, which integrates discrete task planning with continuous motion planning, remains a challenging problem in robotics.
Sampling-based optimal control synthesis for multirobot systems under global temporal tasks
Yiannis Kantaros and Michael M Zavlanos · 1931
Earlier work this paper cites.
Model checking of safety properties
Orna Kupferman and Moshe Y Vardi · 2001
Earlier work this paper cites.
Rapidly-exploring random trees: Progress and prospects: Steven m. lavalle, iowa state university, a james j. kuffner, jr., university of tokyo, tokyo, japan
Steven M LaValle and James J Kuffner · 2001
Earlier work this paper cites.
Automatic synthesis of multi-agent motion tasks based on LTL specifications
Savvas G Loizou and Kostas J Kyriakopoulos · 2004
Earlier work this paper cites.
Linear encodings of bounded LTL model checking
Armin Biere, Keijo Heljanko, Tommi Junttila, Timo Latvala, and Viktor Schuppan · 2006
Earlier work this paper cites.
Principles of model checking
Christel Baier and Joost-Pieter Katoen · 2008
Earlier work this paper cites.
Optimal path planning for surveillance with temporal-logic constraints
Stephen L Smith, Jana Tůmová, Calin Belta, and Daniela Rus · 2011
Earlier work this paper cites.
Multi-robot deployment from LTL specifications with reduced communication
Marius Kloetzer, Xu Chu Ding, and Calin Belta · 2011
Earlier work this paper cites.
Efficiently combining task and motion planning using geometric constraints
Fabien Lagriffoul, Dimitar Dimitrov, Julien Bidot, Alessandro Saffiotti, and Lars Karlsson · 2014
Earlier work this paper cites.
Automated composition of motion primitives for multi-robot systems from safe LTL specifications
Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George J Pappas, and Sanjit A Seshia · 2014
Earlier work this paper cites.
Logic-geometric programming: An optimization-based approach to combined task and motion planning
Marc Toussaint · 2015
Earlier work this paper cites.
Multi-agent plan reconfiguration under local LTL specifications
Meng Guo and Dimos V Dimarogonas · 2015
Earlier work this paper cites.
Multi-agent planning under local LTL specifications and event-based synchronization
Jana Tumova and Dimos V Dimarogonas · 2016
Earlier work this paper cites.
Multi-bound tree search for logic-geometric programming in cooperative manipulation domains
Marc Toussaint and Manuel Lopes · 2017
Earlier work this paper cites.
Sampling-based control synthesis for multi-robot systems under global temporal specifications
Yiannis Kantaros and Michael M Zavlanos · 2017
Earlier work this paper cites.
Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming
Yasser Shoukry, Pierluigi Nuzzo, Ayca Balkan, Indranil Saha, Alberto L Sangiovanni-Vincentelli, Sanjit A Seshia, George J Pappas, and Paulo Tabuada · 2017
Earlier work this paper cites.
Decentralized control of robotic swarms from high-level temporal logic specifications
Salar Moarref and Hadas Kress-Gazit · 2017
Earlier work this paper cites.
Non-deterministic planning with temporally extended goals: Ltl over finite and infinite traces
Alberto Camacho, Eleni Triantafillou, Christian J Muise, Jorge A Baier, and Sheila A McIlraith · 2017
Earlier work this paper cites.
Formal methods for discrete-time dynamical systems , volume 89
Calin Belta, Boyan Yordanov, and Ebru Aydin Gol · 2017
Earlier work this paper cites.
Simultaneous task allocation and planning under uncertainty
Fatma Faruq, David Parker, Bruno Laccrda, and Nick Hawes · 2018
Earlier work this paper cites.
Admissible abstractions for near-optimal task and motion planning
William Vega-Brown and Nicholas Roy · 2018
Cited alongside, same era.
Transfer planning for temporal logic tasks
Xusheng Luo and Michael M Zavlanos · 2019
Cited alongside, same era.
Petri net based multi-robot task coordination from temporal logic specifications
Bruno Lacerda and Pedro U Lima · 2019
Cited alongside, same era.
LTL and beyond: Formal languages for reward function specification in reinforcement learning
Alberto Camacho, R Toro Icarte, Toryn Q Klassen, Richard Valenzano, and Sheila A McIlraith · 2019
Cited alongside, same era.
Hierarchical LTL-task mdps for multi-agent coordination through auctioning and learning
Philipp Schillinger, Mathias Bürger, and Dimos V Dimarogonas · 2019
Cited alongside, same era.
Fast decomposition of temporal logic specifications for heterogeneous teams
Kevin Leahy, Austin Jones, and Cristian-Ioan Vasile · 2022
Later among the works it cites.
URL https://docs.mosek.com/latest/toolbox/intro_info.html#
The mosek optimization toolbox. version 9.0, mosek aps, copenhagen, denmark., 2022 · 2022
Later among the works it cites.
A more scalable mixed-integer encoding for metric temporal logic
Vince Kurtz and Hai Lin · 2022
Later among the works it cites.
Differentiable task assignment and motion planning
Jimmy Envall, Roi Poranne, and Stelian Coros · 2023
Later among the works it cites.
Temporal logic motion planning with convex optimization via graphs of convex sets
Vince Kurtz and Hai Lin · 2023
Later among the works it cites.
Motion planning around obstacles with convex optimization
Tobia Marcucci, Mark Petersen, David von Wrangel, and Russ Tedrake · 2023
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Yunus Emre Sahin, Petter Nilsson, and Necmiye Ozay · 2019
Cited alongside, same era.
Drake: Model-based design and verification for robotics, 2019
Russ Tedrake and the Drake Development Team · 2019
Cited alongside, same era.
Multi-robot task and motion planning with subtask dependencies
James Motes, Read Sandström, Hannah Lee, Shawna Thomas, and Nancy M Amato · 2020
Cited alongside, same era.
Single-agent indirect herding of multiple targets using metric temporal logic switching
Duc M Le, Xusheng Luo, Leila J Bridgeman, Michael M Zavlanos, and Warren E Dixon · 2020
Cited alongside, same era.
Stylus*: A temporal logic optimal control synthesis algorithm for large-scale multi-robot systems
Yiannis Kantaros and Michael M Zavlanos · 2020
Cited alongside, same era.
Continuous optimization-based task and motion planning with signal temporal logic specifications for sequential manipulation
Rin Takano, Hiroyuki Oyama, and Masaki Yamakita · 2021
Cited alongside, same era.
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
Cited alongside, same era.
Later among the works it cites.
Recent trends in task and motion planning for robotics: A survey
Huihui Guo, Fan Wu, Yunchuan Qin, Ruihui Li, Keqin Li, and Kenli Li · 2023
Later among the works it cites.
Hypergraph-based multi-robot task and motion planning
James Motes, Tan Chen, Timothy Bretl, Marco Morales Aguirre, and Nancy M Amato · 2023
Later among the works it cites.
Temporal logic imitation: Learning plan-satisficing motion policies from demonstrations
Yanwei Wang, Nadia Figueroa, Shen Li, Ankit Shah, and Julie Shah · 2023
Later among the works it cites.
Physically feasible repair of reactive, linear temporal logic-based, high-level tasks
Adam Pacheck and Hadas Kress-Gazit · 2023
Later among the works it cites.
Growing convex collision-free regions in configuration space using nonlinear programming
Mark Petersen and Russ Tedrake · 2023
Later among the works it cites.
A survey of optimization-based task and motion planning: from classical to learning approaches
Zhigen Zhao, Shuo Cheng, Yan Ding, Ziyi Zhou, Shiqi Zhang, Danfei Xu, and Ye Zhao · 2024
Later among the works it cites.
Xusheng Luo and Changliu Liu · 2024
Later among the works it cites.
Shortest paths in graphs of convex sets
Tobia Marcucci, Jack Umenberger, Pablo Parrilo, and Russ Tedrake · 2024
Later among the works it cites.
Ltldog: Satisfying temporally-extended symbolic constraints for safe diffusion-based planning
Zeyu Feng, Hao Luan, Pranav Goyal, and Harold Soh · 2024
Later among the works it cites.
Walking-by-logic: Signal temporal logic-guided model predictive control for bipedal locomotion resilient to external perturbations
Zhaoyuan Gu, Rongming Guo, William Yates, Yipu Chen, Yuntian Zhao, and Ye Zhao · 2024
Later among the works it cites.
Real-time reactive task allocation and planning of large heterogeneous multi-robot systems with temporal logic specifications
Ziyang Chen and Zhen Kan · 2024
Later among the works it cites.
Decomposition-based hierarchical task allocation and planning for multi-robots under hierarchical temporal logic specifications
Xusheng Luo, Shaojun Xu, Ruixuan Liu, and Changliu Liu · 2024
Later among the works it cites.
Time minimization and online synchronization for multi-agent systems under collaborative temporal logic tasks
Zesen Liu, Meng Guo, and Zhongkui Li · 2024
Later among the works it cites.