Fetching the paper…
Reading the bibliography…
Research in robotic planning with temporal logic specifications, such as Linear Temporal Logic (LTL), has relied on single formulas.
Sampling-based optimal control synthesis for multirobot systems under global temporal tasks
Yiannis Kantaros and Michael M Zavlanos · 1931
Earlier work this paper cites.
The temporal logic of programs
Amir Pnueli · 1977
Earlier work this paper cites.
And/or graph representation of assembly plans
LS Homem De Mello and Arthur C Sanderson · 1990
Earlier work this paper cites.
Using temporal logics to express search control knowledge for planning
Fahiem Bacchus and Froduald Kabanza · 2000
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.
A formal analysis and taxonomy of task allocation in multi-robot systems
Brian P Gerkey and Maja J Matarić · 2004
Earlier work this paper cites.
Heterogeneous multirobot coordination with spatial and temporal constraints
Mary Koes, Illah Nourbakhsh, and Katia Sycara · 2005
Earlier work this paper cites.
Prioritized motion planning for multiple robots
Jur P Van Den Berg and Mark H Overmars · 2005
Earlier work this paper cites.
Planning algorithms
Steven M LaValle · 2006
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.
Learning overhypotheses with hierarchical bayesian models
Charles Kemp, Andrew Perfors, and Joshua B Tenenbaum · 2007
Earlier work this paper cites.
A distributed auction algorithm for the assignment problem
Michael M Zavlanos, Leonid Spesivtsev, and George J Pappas · 2008
Earlier work this paper cites.
Principles of model checking
Christel Baier and Joost-Pieter Katoen · 2008
Earlier work this paper cites.
Formal methods: Practice and experience
Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, and John Fitzgerald · 2009
Earlier work this paper cites.
Consensus-based decentralized auctions for robust task allocation
Han-Lim Choi, Luc Brunet, and Jonathan P How · 2009
Earlier work this paper cites.
Htn planning with preferences
SSJA Baier and Sheila A McIlraith · 2009
Earlier work this paper cites.
Htn robot planning in partially observable dynamic environments
Martin Weser, Dominik Off, and Jianwei Zhang · 2010
Earlier work this paper cites.
How to grow a mind: Statistics, structure, and abstraction
Joshua B Tenenbaum, Charles Kemp, Thomas L Griffiths, and Noah D Goodman · 2011
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.
Integrated task assignment and path optimization for cooperating uninhabited aerial vehicles using genetic algorithms
Eugene Edison and Tal Shima · 2011
Earlier work this paper cites.
M*: A complete multirobot path planning algorithm with performance bounds
Glenn Wagner and Howie Choset · 2011
Earlier work this paper cites.
A comprehensive taxonomy for multi-robot task allocation
G Ayorkor Korsah, Anthony Stentz, and M Bernardine Dias · 2013
Earlier work this paper cites.
Linear temporal logic and linear dynamic logic on finite traces
Giuseppe De Giacomo and Moshe Y Vardi · 2013
Cited alongside, same era.
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
Cited alongside, same era.
Practical planning: extending the classical AI planning paradigm
David E Wilkins · 2014
Cited alongside, same era.
Multi-agent plan reconfiguration under local LTL specifications
Meng Guo and Dimos V Dimarogonas · 2015
Cited alongside, same era.
Htn planning: Overview, comparison, and beyond
Ilche Georgievski and Marco Aiello · 2015
Cited alongside, same era.
Multi-agent planning under local LTL specifications and event-based synchronization
Jana Tumova and Dimos V Dimarogonas · 2016
Particle swarm optimization for cooperative multi-robot task allocation: a multi-objective approach
Changyun Wei, Ze Ji, and Boliang Cai · 2020
Later among the works it cites.
Alfred: A benchmark for interpreting grounded instructions for everyday tasks
Mohit Shridhar, Jesse Thomason, Daniel Gordon, Yonatan Bisk, Winson Han, Roozbeh Mottaghi, Luke Zettlemoyer, and Dieter Fox · 2020
Later among the works it cites.
Distributed motion coordination for multirobot systems under ltl specifications
Pian Yu and Dimos V Dimarogonas · 2021
Later among the works it cites.
An abstraction-free method for multirobot temporal logic optimal control synthesis
Xusheng Luo, Yiannis Kantaros, and Michael M Zavlanos · 2021
Later among the works it cites.
Scalable and robust algorithms for task-based coordination from high-level specifications (scratches)
Kevin Leahy, Zachary Serlin, Cristian-Ioan Vasile, Andrew Schoer, Austin M Jones, Roberto Tron, and Calin Belta · 2021
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Optimal target assignment and path finding for teams of agents
Hang Ma and Sven Koenig · 2016
Cited alongside, same era.
Sampling-based control synthesis for multi-robot systems under global temporal specifications
Yiannis Kantaros and Michael M Zavlanos · 2017
Cited alongside, same era.
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
Cited alongside, same era.
Decentralized control of robotic swarms from high-level temporal logic specifications
Salar Moarref and Hadas Kress-Gazit · 2017
Cited alongside, same era.
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
Cited alongside, same era.
Ai2-thor: An interactive 3d environment for visual ai
Eric Kolve, Roozbeh Mottaghi, Winson Han, Eli VanderBilt, Luca Weihs, Alvaro Herrasti, Matt Deitke, Kiana Ehsani, Daniel Gordon, Yuke Zhu, et al · 2017
Cited alongside, same era.
Multiagent task allocation and planning with multi-objective requirements
Thomas Robinson, Guoxin Su, and Minjie Zhang · 2021
Later among the works it cites.
Integrated task assignment and path planning for capacitated multi-agent pickup and delivery
Zhe Chen, Javier Alonso-Mora, Xiaoshan Bai, Daniel D Harabor, and Peter J Stuckey · 2021
Later among the works it cites.
Human-aware robot task planning based on a hierarchical task model
Yujiao Cheng, Liting Sun, and Masayoshi Tomizuka · 2021
Later among the works it cites.
Perception-based temporal logic planning in uncertain semantic maps
Yiannis Kantaros, Samarth Kalluraya, Qi Jin, and George J Pappas · 2022
Later among the works it cites.
Temporal logic task allocation in heterogeneous multirobot systems
Xusheng Luo and Michael M Zavlanos · 2022
Later among the works it cites.
Zesen Liu, Meng Guo, and Zhongkui Li · 2022
Later among the works it cites.
Fast decomposition of temporal logic specifications for heterogeneous teams
Kevin Leahy, Austin Jones, and Cristian-Ioan Vasile · 2022
Later among the works it cites.
Extended time dependent vehicle routing problem for joint task allocation and path planning in shared space
Aayush Aggarwal, Florence Ho, and Shinji Nakadai · 2022
Later among the works it cites.
On the expressive power of planning formalisms in conjunction with ltl
Songtuan Lin and Pascal Bercher · 2022
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.
Fast task allocation of heterogeneous robots with temporal logic and inter-task constraints
Lin Li, Ziyang Chen, Hao Wang, and Zhen Kan · 2023
Later among the works it cites.
Market approaches to the multi-robot task allocation problem: a survey
Félix Quinton, Christophe Grand, and Charles Lesire · 2023
Later among the works it cites.
Optimization techniques for multi-robot task allocation problems: Review on the state-of-the-art
Hamza Chakraa, François Guérin, Edouard Leclercq, and Dimitri Lefebvre · 2023
Later among the works it cites.
Solving simultaneous target assignment and path planning efficiently with time-independent execution
Keisuke Okumura and Xavier Défago · 2023
Later among the works it cites.
Obtaining hierarchy from human instructions: an llms-based approach
Xusheng Luo, Shaojun Xu, and Changliu Liu · 2023
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
Closest in time.
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
Closest in time.
Hierarchical temporal logic task and motion planning for multi-robot systems
Zhongqi Wei, Xusheng Luo, and Changliu Liu · 2025
Closest in time.