Open Access Helper

OpenAlex Citation Counts

OpenAlex Citations Logo

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:

Efficient Symbolic Reactive Synthesis for Finite-Horizon Tasks
Keliang He, Andrew M. Wells, Lydia E. Kavraki, et al.
2022 International Conference on Robotics and Automation (ICRA) (2019), pp. 8993-8999
Closed Access | Times Cited: 37

Showing 1-25 of 37 citing articles:

Symbolic ltl$$_f$$ Synthesis: A Unified Approach for Synthesizing Winning, Dominant, and Best-Effort Strategies
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
SN Computer Science (2025) Vol. 6, Iss. 2
Open Access
Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications
Suguman Bansal, Yong Li, Lucas M. Tabajara, et al.
Proceedings of the AAAI Conference on Artificial Intelligence (2020) Vol. 34, Iss. 06, pp. 9766-9774
Open Access | Times Cited: 29
Reactive Task and Motion Planning under Temporal Logic Specifications
Shen Li, Daehyung Park, Yoonchang Sung, et al.
(2021)
Open Access | Times Cited: 25
Hyperproperties for Robotics: Planning via HyperLTL
Yu Wang, Siddhartha Nalluri, Miroslav Pajić
(2020), pp. 8462-8468
Open Access | Times Cited: 21
LTLf Synthesis on Probabilistic Systems
Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, et al.
arXiv (Cornell University) (2020) Vol. 326, pp. 166-181
Open Access | Times Cited: 18
Reactive Locomotion Decision-Making and Robust Motion Planning for Real-Time Perturbation Recovery
Zhaoyuan Gu, Nathan Boyd, Ye Zhao
2022 International Conference on Robotics and Automation (ICRA) (2022), pp. 1896-1902
Open Access | Times Cited: 8
Grounding LTLf Specifications in Image Sequences
Elena Umili, Roberto Capobianco, Giuseppe De Giacomo
(2023), pp. 668-678
Open Access | Times Cited: 4
Finding Missing Skills for High-Level Behaviors
Adam Pacheck, Salar Moarref, Hadas Kress‐Gazit
(2020), pp. 10335-10341
Closed Access | Times Cited: 11
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions
Giuseppe De Giacomo, Antonio Di Stasio, Moshe Y. Vardi, et al.
(2020), pp. 304-314
Open Access | Times Cited: 10
Finite-Horizon Synthesis for Probabilistic Manipulation Domains
Martin T. Wells, Zachary Kingston, Morteza Lahijanian, et al.
(2021), pp. 6336-6342
Closed Access | Times Cited: 8
SpaTiaL: monitoring and planning of robotic tasks using spatio-temporal logic specifications
Christian Pek, Georg Friedrich Schuppe, Francesco Esposito, et al.
Autonomous Robots (2023) Vol. 47, Iss. 8, pp. 1439-1462
Open Access | Times Cited: 3
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis
Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, et al.
(2021), pp. 1852-1858
Open Access | Times Cited: 7
Robotics: Science and Systems XIX
Georg Friedrich Schuppe, Ilaria Torre, Iolanda Leite, et al.
Robotics: science and systems (2023)
Open Access | Times Cited: 2
LTLf Synthesis under Partial Observability: From Theory to Practice
Lucas M. Tabajara, Moshe Y. Vardi
arXiv (Cornell University) (2020) Vol. 326, pp. 1-17
Open Access | Times Cited: 5
On the Power of Automata Minimization in Reactive Synthesis
Shufang Zhu, Lucas M. Tabajara, Geguang Pu, et al.
arXiv (Cornell University) (2021) Vol. 346, pp. 117-134
Open Access | Times Cited: 5
Hyperproperties for Robotics: Planning via HyperLTL
Yu Wang, Siddhartha Nalluri, Miroslav Pajić
arXiv (Cornell University) (2019)
Open Access | Times Cited: 4
Synthesis from Satisficing and Temporal Goals
Suguman Bansal, Lydia E. Kavraki, Moshe Y. Vardi, et al.
Proceedings of the AAAI Conference on Artificial Intelligence (2022) Vol. 36, Iss. 9, pp. 9679-9686
Open Access | Times Cited: 3
ЩОДО АНАЛІЗУ СТРАТЕГІЙ ПІДВИЩЕННЯ ЕФЕКТИВНОСТІ ВИРОБНИЦТВ ЗА РАХУНОК ІНТЕГРАЦІЇ МОБІЛЬНИХ РОБОТІВ
Oleksii Kuchkin, Artem Sazonov, Mykhailo Lukiniuk, et al.
Вісник Херсонського національного технічного університету (2024), Iss. 4(87), pp. 77-84
Open Access
Stochastic Games for Interactive Manipulation Domains
Karan Muvvala, Andrew M. Wells, Morteza Lahijanian, et al.
(2024), pp. 2513-2519
Open Access
Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications
Suguman Bansal, Yong Li, Lucas M. Tabajara, et al.
arXiv (Cornell University) (2019)
Closed Access | Times Cited: 3
SpaTiaL: Monitoring and Planning of Robotic Tasks Using Spatio-Temporal Logic Specifications
Christian Pek, Georg Friedrich Schuppe, Francesco Esposito, et al.
Research Square (Research Square) (2023)
Open Access | Times Cited: 1
Finite-Horizon Shield for Path Planning Ensuring Safety/Co-Safety Specifications and Security Policies
Koki Kanashima, Toshimitsu Ushio
IEEE Access (2023) Vol. 11, pp. 11766-11780
Open Access | Times Cited: 1
Automatic encoding and repair of reactive high-level tasks with learned abstract representations
Adam Pacheck, Steven James, George Konidaris, et al.
The International Journal of Robotics Research (2023) Vol. 42, Iss. 4-5, pp. 263-288
Open Access | Times Cited: 1
LTLf Best-Effort Synthesis in Nondeterministic Planning Domains
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
Frontiers in artificial intelligence and applications (2023)
Open Access | Times Cited: 1
Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks
Karan Muvvala, Morteza Lahijanian
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (2023), pp. 8666-8672
Open Access | Times Cited: 1
Page 1 - Next Page

Scroll to top