
OpenAlex is a bibliographic catalogue of scientific papers, authors and institutions accessible in open access mode, named after the Library of Alexandria. It's citation coverage is excellent and I hope you will find utility in this listing of citing articles!
If you click the article title, you'll navigate to the article, as listed in CrossRef. If you click the Open Access links, you'll navigate to the "best Open Access location". Clicking the citation count will open this listing for that article. Lastly at the bottom of the page, you'll find basic pagination options.
Requested Article:
Reactive sampling-based path planning with temporal logic specifications
Cristian-Ioan Vasile, Xiao Li, Călin Belta
The International Journal of Robotics Research (2020) Vol. 39, Iss. 8, pp. 1002-1028
Closed Access | Times Cited: 35
Cristian-Ioan Vasile, Xiao Li, Călin Belta
The International Journal of Robotics Research (2020) Vol. 39, Iss. 8, pp. 1002-1028
Closed Access | Times Cited: 35
Showing 1-25 of 35 citing articles:
Multi-Agent Motion Planning From Signal Temporal Logic Specifications
Dawei Sun, Jingkai Chen, Sayan Mitra, et al.
IEEE Robotics and Automation Letters (2022) Vol. 7, Iss. 2, pp. 3451-3458
Open Access | Times Cited: 55
Dawei Sun, Jingkai Chen, Sayan Mitra, et al.
IEEE Robotics and Automation Letters (2022) Vol. 7, Iss. 2, pp. 3451-3458
Open Access | Times Cited: 55
Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments From Temporal Logic Specifications
Mingyu Cai, Erfan Aasi, Călin Belta, et al.
IEEE Robotics and Automation Letters (2023) Vol. 8, Iss. 4, pp. 2158-2165
Open Access | Times Cited: 20
Mingyu Cai, Erfan Aasi, Călin Belta, et al.
IEEE Robotics and Automation Letters (2023) Vol. 8, Iss. 4, pp. 2158-2165
Open Access | Times Cited: 20
Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges
Xiang Yin, Bingzhao Gao, Xiao Yu
Annual Reviews in Control (2024) Vol. 57, pp. 100940-100940
Open Access | Times Cited: 4
Xiang Yin, Bingzhao Gao, Xiao Yu
Annual Reviews in Control (2024) Vol. 57, pp. 100940-100940
Open Access | Times Cited: 4
No-regret path planning for temporal logic tasks in partially-known environments
Jianing Zhao, Keyi Zhu, Mingyang Feng, et al.
The International Journal of Robotics Research (2025)
Closed Access
Jianing Zhao, Keyi Zhu, Mingyang Feng, et al.
The International Journal of Robotics Research (2025)
Closed Access
Receding Horizon Control-Based Motion Planning With Partially Infeasible LTL Constraints
Mingyu Cai, Hao Peng, Zhijun Li, et al.
IEEE Control Systems Letters (2020) Vol. 5, Iss. 4, pp. 1279-1284
Open Access | Times Cited: 31
Mingyu Cai, Hao Peng, Zhijun Li, et al.
IEEE Control Systems Letters (2020) Vol. 5, Iss. 4, pp. 1279-1284
Open Access | Times Cited: 31
Specification-Compliant Driving Corridors for Motion Planning of Automated Vehicles
Edmond Irani Liu, Matthias Althoff
IEEE Transactions on Intelligent Vehicles (2023) Vol. 8, Iss. 9, pp. 4180-4197
Open Access | Times Cited: 9
Edmond Irani Liu, Matthias Althoff
IEEE Transactions on Intelligent Vehicles (2023) Vol. 8, Iss. 9, pp. 4180-4197
Open Access | Times Cited: 9
Modular Deep Reinforcement Learning for Continuous Motion Planning With Temporal Logic
Mingyu Cai, Mohammadhosein Hasanbeig, Shaoping Xiao, et al.
IEEE Robotics and Automation Letters (2021) Vol. 6, Iss. 4, pp. 7973-7980
Open Access | Times Cited: 18
Mingyu Cai, Mohammadhosein Hasanbeig, Shaoping Xiao, et al.
IEEE Robotics and Automation Letters (2021) Vol. 6, Iss. 4, pp. 7973-7980
Open Access | Times Cited: 18
Vision-Based Reactive Temporal Logic Motion Planning for Quadruped Robots in Unstructured Dynamic Environments
Zhangli Zhou, Ziyang Chen, Mingyu Cai, et al.
IEEE Transactions on Industrial Electronics (2023) Vol. 71, Iss. 6, pp. 5983-5992
Open Access | Times Cited: 7
Zhangli Zhou, Ziyang Chen, Mingyu Cai, et al.
IEEE Transactions on Industrial Electronics (2023) Vol. 71, Iss. 6, pp. 5983-5992
Open Access | Times Cited: 7
RCD: Radial Cell Decomposition Algorithm for Mobile Robot Path Planning
Omnia A. A. Salama, Mohamed E. H. Eltaib, H.A. Mohamed, et al.
IEEE Access (2021) Vol. 9, pp. 149982-149992
Open Access | Times Cited: 17
Omnia A. A. Salama, Mohamed E. H. Eltaib, H.A. Mohamed, et al.
IEEE Access (2021) Vol. 9, pp. 149982-149992
Open Access | Times Cited: 17
Fast Temporal Logic Mission Planning of Multiple Robots: A Planning Decision Tree Approach
Ziyang Chen, Zhangli Zhou, Shaochen Wang, et al.
IEEE Robotics and Automation Letters (2024) Vol. 9, Iss. 7, pp. 6146-6153
Closed Access | Times Cited: 2
Ziyang Chen, Zhangli Zhou, Shaochen Wang, et al.
IEEE Robotics and Automation Letters (2024) Vol. 9, Iss. 7, pp. 6146-6153
Closed Access | Times Cited: 2
Specification-Compliant Reachability Analysis for Autonomous Vehicles Using On-the-Fly Model Checking
Florian Lercher, Matthias Althoff
2022 IEEE Intelligent Vehicles Symposium (IV) (2024), pp. 1484-1491
Open Access | Times Cited: 2
Florian Lercher, Matthias Althoff
2022 IEEE Intelligent Vehicles Symposium (IV) (2024), pp. 1484-1491
Open Access | Times Cited: 2
Space deformation based path planning for Mobile Robots
Abdullah Ahmed, Ahmed Maged, A. M. A. Soliman, et al.
ISA Transactions (2021) Vol. 126, pp. 666-678
Closed Access | Times Cited: 15
Abdullah Ahmed, Ahmed Maged, A. M. A. Soliman, et al.
ISA Transactions (2021) Vol. 126, pp. 666-678
Closed Access | Times Cited: 15
Signal Temporal Logic Neural Predictive Control
Yue Meng, Chuchu Fan
IEEE Robotics and Automation Letters (2023) Vol. 8, Iss. 11, pp. 7719-7726
Open Access | Times Cited: 6
Yue Meng, Chuchu Fan
IEEE Robotics and Automation Letters (2023) Vol. 8, Iss. 11, pp. 7719-7726
Open Access | Times Cited: 6
Trajectory Planner CDT-RRT* for Car-Like Mobile Robots toward Narrow and Cluttered Environments
Hyunki Kwon, Donggeun Cha, Jihoon Seong, et al.
Sensors (2021) Vol. 21, Iss. 14, pp. 4828-4828
Open Access | Times Cited: 13
Hyunki Kwon, Donggeun Cha, Jihoon Seong, et al.
Sensors (2021) Vol. 21, Iss. 14, pp. 4828-4828
Open Access | Times Cited: 13
Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers
Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile
(2023) Vol. 2016, pp. 1652-1658
Open Access | Times Cited: 5
Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile
(2023) Vol. 2016, pp. 1652-1658
Open Access | Times Cited: 5
Online Motion Planning With Soft Metric Interval Temporal Logic in Unknown Dynamic Environment
Zhiliang Li, Mingyu Cai, Shaoping Xiao, et al.
IEEE Control Systems Letters (2022) Vol. 6, pp. 2293-2298
Open Access | Times Cited: 8
Zhiliang Li, Mingyu Cai, Shaoping Xiao, et al.
IEEE Control Systems Letters (2022) Vol. 6, pp. 2293-2298
Open Access | Times Cited: 8
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications
Mingyu Cai, Makai Mann, Zachary Serlin, et al.
2022 American Control Conference (ACC) (2023) Vol. 15, pp. 1446-1452
Open Access | Times Cited: 4
Mingyu Cai, Makai Mann, Zachary Serlin, et al.
2022 American Control Conference (ACC) (2023) Vol. 15, pp. 1446-1452
Open Access | Times Cited: 4
Sampling-based Non-Holonomic Path Generation for Self-driving Cars
Sotirios Spanogiannopoulos, Yahya Zweiri, Lakmal Seneviratne
Journal of Intelligent & Robotic Systems (2021) Vol. 104, Iss. 1
Closed Access | Times Cited: 10
Sotirios Spanogiannopoulos, Yahya Zweiri, Lakmal Seneviratne
Journal of Intelligent & Robotic Systems (2021) Vol. 104, Iss. 1
Closed Access | Times Cited: 10
Distributed Consensus-Based Online Monitoring of Robot Swarms With Temporal Logic Specifications
Ruixuan Yan, A. Agung Julius
IEEE Robotics and Automation Letters (2022) Vol. 7, Iss. 4, pp. 9413-9420
Open Access | Times Cited: 6
Ruixuan Yan, A. Agung Julius
IEEE Robotics and Automation Letters (2022) Vol. 7, Iss. 4, pp. 9413-9420
Open Access | Times Cited: 6
Distributed Path Planning of Mobile Robots with LTL Specifications
Ioana Hustiu, Marius Kloetzer, Cristian Mahulea
2022 26th International Conference on System Theory, Control and Computing (ICSTCC) (2020)
Closed Access | Times Cited: 9
Ioana Hustiu, Marius Kloetzer, Cristian Mahulea
2022 26th International Conference on System Theory, Control and Computing (ICSTCC) (2020)
Closed Access | Times Cited: 9
Reinforcement Learning Based Temporal Logic Control with Soft Constraints Using Limit-deterministic Generalized Buchi Automata
Mingyu Cai, Shaoping Xiao, Zhen Kan
arXiv (Cornell University) (2021)
Open Access | Times Cited: 6
Mingyu Cai, Shaoping Xiao, Zhen Kan
arXiv (Cornell University) (2021)
Open Access | Times Cited: 6
Active Inference for Reactive Temporal Logic Motion Planning
Ziyang Chen, Zhangli Zhou, Lin Li, et al.
(2024), pp. 2520-2526
Closed Access
Ziyang Chen, Zhangli Zhou, Lin Li, et al.
(2024), pp. 2520-2526
Closed Access
Real-time reactive task allocation and planning of large heterogeneous multi-robot systems with temporal logic specifications
Ziyang Chen, Zhen Kan
The International Journal of Robotics Research (2024)
Closed Access
Ziyang Chen, Zhen Kan
The International Journal of Robotics Research (2024)
Closed Access
Reinforcement learning with soft temporal logic constraints using limit-deterministic generalized Büchi automaton
Mingyu Cai, Zhangli Zhou, Lin Li, et al.
Journal of Automation and Intelligence (2024)
Open Access
Mingyu Cai, Zhangli Zhou, Lin Li, et al.
Journal of Automation and Intelligence (2024)
Open Access
A Hierarchical Decoupling Approach for Fast Temporal Logic Motion Planning
Ziyang Chen, Zhangli Zhou, Shaochen Wang, et al.
(2023)
Closed Access | Times Cited: 1
Ziyang Chen, Zhangli Zhou, Shaochen Wang, et al.
(2023)
Closed Access | Times Cited: 1