Fetching the paper…
Reading the bibliography…
We tackle the challenging problem of multi-agent cooperative motion planning for complex tasks described using signal temporal logic (STL), where robots can have nonlinear and nonholonomic dynamics.
S. M. LaValle, Planning algorithms . Cambridge univ. press, 2006
2006
Earlier work this paper cites.
G. E. Fainekos, A. Girard, H. Kress-Gazit, and G. J. Pappas, “Temporal logic motion planning for dynamic robots,” Automatica , vol. 45, no. 2, pp. 343–352, 2009
2009
Earlier work this paper cites.
A. Donzé and O. Maler, “Robust satisfaction of temporal logic over real-valued signals,” in International Conference on Formal Modeling and Analysis of Timed Systems . Springer, 2010, pp. 92–106
2010
Earlier work this paper cites.
J.-C. Latombe, Robot motion planning . Springer Science & Business Media, 2012, vol. 124
2012
Earlier work this paper cites.
V. Raman, A. Donzé, M. Maasoumy, R. M. Murray, A. Sangiovanni-Vincentelli, and S. A. Seshia, “Model predictive control with signal temporal logic specifications,” in 53rd IEEE Conference on Decision and Control . IEEE, 2014, pp. 81–87
2014
Earlier work this paper cites.
E. J. Rodríguez-Seda, C. Tang, M. W. Spong, and D. M. Stipanović, “Trajectory tracking with collision avoidance for nonholonomic vehicles with acceleration constraints and limited sensing,” The International Journal of Robotics Research , vol. 33, no. 12, 2014
2014
Earlier work this paper cites.
S. S. Farahani, V. Raman, and R. M. Murray, “Robust model predictive control for signal temporal logic synthesis,” IFAC-PapersOnLine , vol. 48, no. 27, pp. 323–328, 2015
2015
Earlier work this paper cites.
S. Sadraddini and C. Belta, “Robust temporal logic model predictive control,” in 2015 53rd Annual Allerton Conference on Communication, Control, and Computing (Allerton) . IEEE, 2015, pp. 772–779
2015
Earlier work this paper cites.
V. Raman, A. Donzé, D. Sadigh, R. M. Murray, and S. A. Seshia, “Reactive synthesis from signal temporal logic specifications,” in Proceedings of the 18th international conference on hybrid systems: Computation and control , 2015, pp. 239–248
2015
Earlier work this paper cites.
C.-I. Vasile, V. Raman, and S. Karaman, “Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications,” in 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) . IEEE, 2017, pp. 3840–3847
2017
Earlier work this paper cites.
D. Pickem, P. Glotfelter, L. Wang, M. Mote, A. Ames, E. Feron, and M. Egerstedt, “The robotarium: A remotely accessible swarm robotics research testbed,” in 2017 IEEE International Conference on Robotics and Automation (ICRA) . IEEE, 2017, pp. 1699–1706
2017
Cited alongside, same era.
H. Kress-Gazit, M. Lahijanian, and V. Raman, “Synthesis for robots: Guarantees and feedback for robot behavior,” Annual Review of Control, Robotics, and Autonomous Systems , 2018
2018
Cited alongside, same era.
W. Vega-Brown and N. Roy, “Admissible abstractions for near-optimal task and motion planning,” in IJCAI , 2018
2018
Cited alongside, same era.
Y. E. Sahin, P. Nilsson, and N. Ozay, “Multirobot coordination with counting temporal logics,” IEEE Transactions on Robotics , vol. 36, no. 4, pp. 1189–1206, 2019
2019
Cited alongside, same era.
R. Ghosh, J. P. Jansch-Porto, C. Hsieh, A. Gosse, M. Jiang, H. Taylor, P. Du, S. Mitra, and G. Dullerud, “Cyphyhouse: A programming, simulation, and deployment toolchain for heterogeneous distributed coordination,” in 2020 IEEE International Conference on Robotics and Automation (ICRA) . IEEE, 2020, pp. 6654–6660
2020
Later among the works it cites.
S. Tellex, N. Gopalan, H. Kress-Gazit, and C. Matuszek, “Robots that use language,” Annual Review of Control, Robotics, and Autonomous Systems , vol. 3, pp. 25–55, 2020
2020
Later among the works it cites.
G. Yang, C. Belta, and R. Tron, “Continuous-time signal temporal logic planning with control barrier functions,” in 2020 American Control Conference (ACC) . IEEE, 2020, pp. 4612–4618
2020
Later among the works it cites.
Y. Kantaros and M. M. Zavlanos, “STyLuS*: A temporal logic optimal control synthesis algorithm for large-scale multi-robot systems,” The International Journal of Robotics Research , vol. 39, no. 7, 2020
2020
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
A. M. Jones, K. Leahy, C. I. Vasile, S. Sadradinni, Z. Serlin, R. Tron, and C. Belta, “Scalable and Robust Deployment of Heterogenenous Teams from Temporal Logic Specifications,” in International Symposium on Robotics Research (ISRR) , Hanoi, Vietnam, October 2019
2019
Cited alongside, same era.
H. Ma, D. Harabor, P. J. Stuckey, J. Li, and S. Koenig, “Searching with consistent prioritization for multi-agent path finding,” in Proceedings of the AAAI Conference on Artificial Intelligence , vol. 33, no. 01, 2019
2019
Cited alongside, same era.
2020
Cited alongside, same era.
C. Fan, K. Miller, and S. Mitra, “Fast and guaranteed safe controller synthesis for nonlinear vehicle models,” in International Conference on Computer Aided Verification . Springer, 2020, pp. 629–652
2020
Cited alongside, same era.
K. Leung, N. Aréchiga, and M. Pavone, “Back-propagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods,” Workshop on the Algorithmic Foundations of Robotics (WAFR) , 2020
2020
Cited alongside, same era.
R. Ghosh, C. Hsieh, S. Misailovic, and S. Mitra, “Koord: a language for programming and verifying distributed robotics application,” Proceedings of the ACM on Programming Languages , vol. 4, no. OOPSLA, pp. 1–30, 2020
2020
Cited alongside, same era.
Later among the works it cites.
C. I. Vasile, X. Li, and C. Belta, “Reactive sampling-based path planning with temporal logic specifications,” The International Journal of Robotics Research , vol. 39, no. 8, pp. 1002–1028, 2020
2020
Later among the works it cites.
J. Karlsson, F. S. Barbosa, and J. Tumova, “Sampling-based motion planning with temporal logic missions and spatial preferences,” IFAC-PapersOnLine , vol. 53, no. 2, 2020, 21st IFAC World Congress
2020
Later among the works it cites.
D. Sun, S. Jha, and C. Fan, “Learning Certified Control using Contraction Metric,” in Conference on Robot Learning , 2020
2020
Later among the works it cites.
K. Brown, O. Peltzer, M. A. Sehr, M. Schwager, and M. J. Kochenderfer, “Optimal sequential task assignment and path finding for multi-agent robotic assembly planning,” in 2020 IEEE International Conference on Robotics and Automation (ICRA) . IEEE, 2020
2020
Later among the works it cites.
A. T. Buyukkocak, D. Aksaray, and Y. Yazıcıoğlu, “Planning of heterogeneous multi-agent systems under signal temporal logic specifications with integral predicates,” IEEE Robotics and Automation Letters , vol. 6, no. 2, pp. 1375–1382, 2021
2021
Later among the works it cites.
D. Gundana and H. Kress-Gazit, “Event-based signal temporal logic synthesis for single and multi-robot tasks,” IEEE Robotics and Automation Letters , vol. 6, no. 2, pp. 3687–3694, 2021
2021
Later among the works it cites.