Fetching the paper…
Reading the bibliography…
This paper addresses a new semantic multi-robot planning problem in uncertain and dynamic environments.
L. E. Kavraki, P. Svestka, J.-C. Latombe, and M. H. Overmars, “Probabilistic roadmaps for path planning in high-dimensional configuration spaces,” IEEE transactions on Robotics and Automation , vol. 12, no. 4, pp. 566–580, 1996
1996
Earlier work this paper cites.
S. M. LaValle, Planning algorithms . Cambridge university press, 2006
2006
Earlier work this paper cites.
C. Baier and J.-P. Katoen, Principles of model checking . MIT press Cambridge, 2008, vol. 26202649
2008
Earlier work this paper cites.
M. Kloetzer and C. Belta, “Automatic deployment of distributed teams of robots from temporal logic motion specifications,” IEEE Transactions on Robotics , vol. 26, no. 1, pp. 48–61, 2010
2010
Earlier work this paper cites.
S. Karaman and E. Frazzoli, “Sampling-based algorithms for optimal motion planning,” The International Journal of Robotics Research , vol. 30, no. 7, pp. 846–894, 2011
2011
Earlier work this paper cites.
2011
Earlier work this paper cites.
S. C. Livingston, R. M. Murray, and J. W. Burdick, “Backtracking temporal logic synthesis for uncertain environments,” in 2012 IEEE International Conference on Robotics and Automation . IEEE, 2012, pp. 5163–5170
2012
Earlier work this paper cites.
M. Guo, K. H. Johansson, and D. V. Dimarogonas, “Revising motion planning under linear temporal logic specifications in partially known workspaces,” in IEEE International Conference on Robotics and Automation (ICRA) , Karlsruhe, Germany, 2013, pp. 5025–5032
2013
Earlier work this paper cites.
M. R. Maly, M. Lahijanian, L. E. Kavraki, H. Kress-Gazit, and M. Y. Vardi, “Iterative temporal motion planning for hybrid systems in partially unknown environments,” in Proceedings of the 16th international conference on Hybrid systems: computation and control . ACM, 2013, pp. 353–362
2013
Earlier work this paper cites.
S. C. Livingston, P. Prabhakar, A. B. Jose, and R. M. Murray, “Patching task-level robot controllers based on a local μ \mu -calculus formula,” in 2013 IEEE International Conference on Robotics and Automation , 2013, pp. 4588–4595
2013
Earlier work this paper cites.
J. Guzzi, A. Giusti, L. M. Gambardella, G. Theraulaz, and G. A. Di Caro, “Human-friendly robot navigation in dynamic environments,” in IEEE International Conference on Robotics and Automation , Karlsruhe, Germany, May 6-10, 2013, pp. 423–430
2013
Earlier work this paper cites.
G. S. Aoude, B. D. Luders, J. M. Joseph, N. Roy, and J. P. How, “Probabilistically safe motion planning to avoid dynamic obstacles with uncertain motion patterns,” Autonomous Robots , vol. 35, no. 1, pp. 51–76, 2013
2013
Earlier work this paper cites.
T. Bandyopadhyay, K. S. Won, E. Frazzoli, D. Hsu, W. S. Lee, and D. Rus, “Intention-aware motion planning,” in Algorithmic foundations of robotics X . Springer, 2013, pp. 475–491
2013
Earlier work this paper cites.
A. Jones, M. Schwager, and C. Belta, “Distribution temporal logic: Combining correctness with quality of estimation,” in 52nd IEEE Conference on Decision and Control . IEEE, 2013, pp. 4719–4724
2013
Earlier work this paper cites.
M. Elbanhawi and M. Simic, “Sampling-based robot motion planning: A review,” IEEE Access , vol. 2, pp. 56–77, 2014
2014
Earlier work this paper cites.
A. Ulusoy and C. Belta, “Receding horizon temporal logic control in dynamic environments,” The International Journal of Robotics Research , vol. 33, no. 12, pp. 1593–1607, 2014
2014
Earlier work this paper cites.
B. Charrow, V. Kumar, and N. Michael, “Approximate representations for multi-robot control policies that maximize mutual information,” Autonomous Robots , vol. 37, no. 4, pp. 383–400, 2014. [Online]. Available: https://link.springer.com/article/10.1007/s10514-014-9411-2
2014
Earlier work this paper cites.
G. A. Hollinger and G. S. Sukhatme, “Sampling-based robotic information gathering algorithms,” The International Journal of Robotics Research , vol. 33, no. 9, pp. 1271–1287, 2014. [Online]. Available: https://journals.sagepub.com/doi/abs/10.1177/0278364914533443
2014
Earlier work this paper cites.
M. Guo and D. V. Dimarogonas, “Multi-agent plan reconfiguration under local ltl specifications,” The International Journal of Robotics Research , vol. 34, no. 2, pp. 218–235, 2015
2015
Earlier work this paper cites.
D. Maity and J. S. Baras, “Motion planning in dynamic environments with bounded time temporal logic specifications,” in 2015 23rd Mediterranean Conference on Control and Automation (MED) . IEEE, 2015, pp. 940–946
2015
Earlier work this paper cites.
N. Atanasov, J. Le Ny, K. Daniilidis, and G. J. Pappas, “Decentralized active information acquisition: Theory and application to multi-robot SLAM,” in IEEE International Conference on Robotics and Automation , Seattle, WA, 2015, pp. 4775–4782
2015
Earlier work this paper cites.
K. Leahy, D. Zhou, C.-I. Vasile, K. Oikonomopoulos, M. Schwager, and C. Belta, “Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints,” Autonomous Robots , vol. 40, no. 8, pp. 1363–1378, 2016
2016
Earlier work this paper cites.
M. Lahijanian, M. R. Maly, D. Fried, L. E. Kavraki, H. Kress-Gazit, and M. Y. Vardi, “Iterative temporal planning in uncertain environments with partial satisfaction guarantees,” IEEE Transactions on Robotics , vol. 32, no. 3, pp. 583–599, 2016
2016
Cited alongside, same era.
M. Otte and E. Frazzoli, “Rrtx: Asymptotically optimal single-query sampling-based motion planning with quick replanning,” The International Journal of Robotics Research , vol. 35, no. 7, pp. 797–822, 2016
2016
Cited alongside, same era.
B. Hoxha and G. Fainekos, “Planning in dynamic environments through temporal logic monitoring,” in Workshops at the Thirtieth AAAI Conference on Artificial Intelligence , 2016
2016
Cited alongside, same era.
J. Redmon, S. Divvala, R. Girshick, and A. Farhadi, “You only look once: Unified, real-time object detection,” in Proceedings of the IEEE conference on computer vision and pattern recognition , 2016, pp. 779–788
2016
Cited alongside, same era.
A. Pierson, C.-I. Vasile, A. Gandhi, W. Schwarting, S. Karaman, and D. Rus, “Dynamic risk density for autonomous navigation in cluttered environments without object detection,” in 2019 International Conference on Robotics and Automation (ICRA) . IEEE, 2019, pp. 5807–5814
2019
Later among the works it cites.
J. F. Fisac, E. Bronstein, E. Stefansson, D. Sadigh, S. S. Sastry, and A. D. Dragan, “Hierarchical game-theoretic planning for autonomous vehicles,” in IEEE International Conference on Robotics and Automation (ICRA) , Montreal, Canada, May 2019, pp. 9590–9596
2019
Later among the works it cites.
Z. Wang, R. Spica, and M. Schwager, “Game theoretic motion planning for multi-robot racing,” in Distributed Autonomous Robotic Systems . Springer, 2019, pp. 225–238
2019
Later among the works it cites.
A. Rosinol, M. Abate, Y. Chang, and L. Carlone, “Kimera: an open-source library for real-time metric-semantic localization and mapping,” in IEEE International Conference on Robotics and Automation (ICRA) , Paris, France, June 2020, pp. 1689–1696
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
S. Ren, K. He, R. Girshick, and J. Sun, “Faster r-cnn: towards real-time object detection with region proposal networks,” IEEE transactions on pattern analysis and machine intelligence , vol. 39, no. 6, pp. 1137–1149, 2016
2016
Cited alongside, same era.
N. Atanasov, M. Zhu, K. Daniilidis, and G. J. Pappas, “Localization from semantic observations via the matrix permanent,” The International Journal of Robotics Research , vol. 35, no. 1-3, pp. 73–99, 2016
2016
Cited alongside, same era.
F. Furrer, M. Burri, M. Achtelik, and R. Siegwart, Robot Operating System (ROS): The Complete Reference (Volume 1) . Cham: Springer International Publishing, 2016, ch. RotorS—A Modular Gazebo MAV Simulator Framework, pp. 595–625. [Online]. Available: http://dx.doi.org/10.1007/978-3-319-26054-9_23
2016
Cited alongside, same era.
S. L. Bowman, N. Atanasov, K. Daniilidis, and G. J. Pappas, “Probabilistic data association for semantic SLAM,” in IEEE International Conference on Robotics and Automation , Singapore, May-June 2017, pp. 1722–1729
2017
Cited alongside, same era.
P. Dames, P. Tokekar, and V. Kumar, “Detecting, localizing, and tracking an unknown number of moving targets using a team of mobile robots,” The International Journal of Robotics Research , vol. 36, no. 13-14, pp. 1540–1553, 2017
2017
Cited alongside, same era.
A. Bircher, K. Alexis, U. Schwesinger, S. Omari, M. Burri, and R. Siegwart, “An incremental sampling-based approach to inspection planning: the rapidly exploring random tree of trees,” Robotica , vol. 35, no. 6, pp. 1327–1340, 2017
2017
Cited alongside, same era.
C. Guo, G. Pleiss, Y. Sun, and K. Q. Weinberger, “On calibration of modern neural networks,” in International Conference on Machine Learning . PMLR, 2017, pp. 1321–1330
2017
Cited alongside, same era.
M. Mohanan and A. Salgoankar, “A survey of robotic motion planning in dynamic environments,” Robotics and Autonomous Systems , vol. 100, pp. 171–185, 2018
2018
Cited alongside, same era.
2020
Later among the works it cites.
V. Vasilopoulos, G. Pavlakos, S. L. Bowman, J. D. Caporale, K. Daniilidis, G. J. Pappas, and D. E. Koditschek, “Reactive semantic planning in unexplored semantic environments using deep perceptual feedback,” IEEE Robotics and Automation Letters , vol. 5, no. 3, pp. 4455–4462, 2020
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,” International Journal of Robotics Research , 2020
2020
Later among the works it cites.
Y. Kantaros, M. Malencia, V. Kumar, and G. J. Pappas, “Reactive temporal logic planning for multiple robots in unknown environments,” in IEEE International Conference on Robotics and Automation (ICRA) , Paris, France, June 2020, pp. 11 479–11 485
2020
Later among the works it cites.
D. Fridovich-Keil, A. Bajcsy, J. F. Fisac, S. L. Herbert, S. Wang, A. D. Dragan, and C. J. Tomlin, “Confidence-aware motion prediction for real-time collision avoidance1,” The International Journal of Robotics Research , vol. 39, no. 2-3, pp. 250–265, 2020
2020
Later among the works it cites.
A. Alaa and M. Van Der Schaar, “Frequentist uncertainty in recurrent neural networks via blockwise influence functions,” in International Conference on Machine Learning . PMLR, 2020, pp. 175–190
2020
Later among the works it cites.
V. Vasilopoulos, Y. Kantaros, G. J. Pappas, and D. E. Koditschek, “Reactive planning for mobile manipulation tasks in unexplored semantic environments,” in 2021 IEEE International Conference on Robotics and Automation (ICRA) , 2021, pp. 6385–6392
2021
Later among the works it cites.
Y. Li, E. M. Shahrivar, and J. Liu, “Safe linear temporal logic motion planning in dynamic environments,” in 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) . IEEE, pp. 9818–9825
2021
Later among the works it cites.
Y. Kantaros, B. Schlotfeldt, N. Atanasov, and G. J. Pappas, “Sampling-based planning for non-myopic multi-robot information gathering,” Autonomous Robots , vol. 45, no. 7, pp. 1029–1046, 2021
2021
Later among the works it cites.
M. Tzes, Y. Kantaros, and G. J. Pappas, “Distributed sampling-based planning for non-myopic active information gathering,” in IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) , October 2021, pp. 5872–5877
2021
Later among the works it cites.
2021
Later among the works it cites.
Y. Kantaros, S. Kalluraya, Q. Jin, and G. J. Pappas, “Perception-based temporal logic planning in uncertain semantic maps,” IEEE Transactions on Robotics , 2022
2022
Closest in time.
2022
Closest in time.
2022
Closest in time.
Z. Li, M. Cai, S. Xiao, and Z. Kan, “Online motion planning with soft metric interval temporal logic in unknown dynamic environment,” IEEE Control Systems Letters , 2022
2022
Closest in time.
2022
Closest in time.
2022
Closest in time.
G. E. Fainekos, H. Kress-Gazit, and G. J. Pappas, “Temporal logic motion planning for mobile robots,” in IEEE International Conference on Robotics and Automation (ICRA) , Barcelona, Spain, April 2005, pp. 2020–2025
2025
Closest in time.