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:

Reactive synthesis for finite tasks under resource constraints
Keliang He, Morteza Lahijanian, Lydia E. Kavraki, et al.
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (2017), pp. 5326-5332
Open Access | Times Cited: 36

Showing 1-25 of 36 citing articles:

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
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
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
Programming-by-Demonstration for Long-Horizon Robot Tasks
Noah Patton, Kia Rahmani, Meghana Missula, et al.
Proceedings of the ACM on Programming Languages (2024) Vol. 8, Iss. POPL, pp. 512-545
Open Access | Times Cited: 3
Hyperproperties for Robotics: Planning via HyperLTL
Yu Wang, Siddhartha Nalluri, Miroslav Pajić
(2020), pp. 8462-8468
Open Access | Times Cited: 21
Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environments
Ye Zhao, Yinan Li, Luis Sentis, et al.
The International Journal of Robotics Research (2022) Vol. 41, Iss. 8, pp. 812-847
Open Access | Times Cited: 13
Partitioning Techniques in LTLf Synthesis
Lucas M. Tabajara, Moshe Y. Vardi
(2019), pp. 5599-5606
Open Access | Times Cited: 20
A Composable Specification Language for Reinforcement Learning Tasks
Kishor Jothimurugan, Rajeev Alur, Osbert Bastani
arXiv (Cornell University) (2020)
Open Access | Times Cited: 18
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
Automated Abstraction of Manipulation Domains for Cost-Based Reactive Synthesis
Keliang He, Morteza Lahijanian, Lydia E. Kavraki, et al.
IEEE Robotics and Automation Letters (2018) Vol. 4, Iss. 2, pp. 285-292
Open Access | Times Cited: 17
Temporal Logic Guided Locomotion Planning and Control in Cluttered Environments
Sutej Kulgod, Wentao Chen, Junda Huang, et al.
2022 American Control Conference (ACC) (2020)
Closed Access | Times Cited: 9
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
Model Checking Strategies from Synthesis over Finite Traces
Suguman Bansal, Yong Li, Lucas M. Tabajara, et al.
Lecture notes in computer science (2023), pp. 227-247
Closed Access | Times Cited: 3
MoVEMo: A Structured Approach for Engineering Reward Functions
Piergiuseppe Mallozzi, Raúl Pardo, Vincent Duplessis, et al.
(2018), pp. 250-257
Closed Access | Times Cited: 7
Distributed Control of Robotic Swarms from Reactive High-Level Specifications
Ji Chen, Ruojia Sun, Hadas Kress‐Gazit
2022 IEEE 18th International Conference on Automation Science and Engineering (CASE) (2021), pp. 1247-1254
Closed Access | Times Cited: 7
Safety and Co-safety Comparator Automata for Discounted-Sum Inclusion
Suguman Bansal, Moshe Y. Vardi
Lecture notes in computer science (2019), pp. 60-78
Open Access | Times Cited: 6
Toward Achieving Formal Guarantees for Human-Aware Controllers in Human-Robot Interactions
Rachel Schlossman, Minkyu Kim, Ufuk Topcu, et al.
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (2019), pp. 7770-7776
Open Access | Times Cited: 5
On Satisficing in Quantitative Games
Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi
Lecture notes in computer science (2021), pp. 20-37
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
Stochastic Games for Interactive Manipulation Domains
Karan Muvvala, Andrew M. Wells, Morteza Lahijanian, et al.
(2024), pp. 2513-2519
Open 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
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
REASON-RECOURSE Software for Science Operations of Autonomous Robotic Landers
Jay W. McMahon, Nisar Ahmed, Morteza Lahijanian, et al.
IEEE Aerospace Conference (2023), pp. 1-11
Closed 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