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:

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

Showing 18 citing articles:

A Survey on Technical Challenges of Assistive Robotics for Elder People in Domestic Environments: The ASPiDA Concept
Christoforos Keroglou, Ioannis Kansizoglou, Panagiotis Michailidis, et al.
IEEE Transactions on Medical Robotics and Bionics (2023) Vol. 5, Iss. 2, pp. 196-205
Closed Access | Times Cited: 20
Strategy synthesis for partially-known switched stochastic systems
J.D. Jackson, Luca Laurenti, Eric W. Frew, et al.
(2021), pp. 1-11
Open Access | Times Cited: 13
Formal Control Synthesis for Stochastic Neural Network Dynamic Models
Steven Adams, Morteza Lahijanian, Luca Laurenti
IEEE Control Systems Letters (2022) Vol. 6, pp. 2858-2863
Open Access | Times Cited: 8
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
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
Planning with SiMBA: Motion Planning under Uncertainty for Temporal Goals using Simplified Belief Guides
Qi Heng Ho, Zachary N. Sunberg, Morteza Lahijanian
(2023), pp. 5723-5729
Open Access | Times Cited: 2
Policy Synthesis and Reinforcement Learning for Discounted LTL
Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, et al.
Lecture notes in computer science (2023), pp. 415-435
Open Access | Times Cited: 2
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
Failure is an option: Task and Motion Planning with Failing Executions
Tianyang Pan, Andrew M. Wells, Rahul Shome, et al.
2022 International Conference on Robotics and Automation (ICRA) (2022), pp. 1947-1953
Closed Access | Times Cited: 3
Composition of Stochastic Services for LTL$$_f$$ Goal Specifications
Giuseppe De Giacomo, Marco Favorito, Luciana Silo
Lecture notes in computer science (2024), pp. 298-316
Closed Access
Stochastic Games for Interactive Manipulation Domains
Karan Muvvala, Andrew M. Wells, Morteza Lahijanian, et al.
(2024), pp. 2513-2519
Open Access
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
Robustly Complete Finite-State Abstractions for Control Synthesis of Stochastic Systems
Yiming Meng, Jun Liu
IEEE Open Journal of Control Systems (2023) Vol. 2, pp. 235-248
Open Access | Times Cited: 1
Finite-Horizon Optimal Spatio-Temporal Pattern Control under Spatio-Temporal Logic Specifications
Takuma Kinugawa, Toshimitsu Ushio
IEICE Transactions on Information and Systems (2022) Vol. E105.D, Iss. 10, pp. 1658-1664
Open Access | Times Cited: 2
Synthesizing Good-Enough Strategies for LTLf Specifications
Yong Li, Andrea Turrini, Moshe Y. Vardi, et al.
(2021), pp. 4144-4151
Open Access | Times Cited: 2
Linear Temporal Logic – From Infinite to Finite Horizon
Lucas M. Tabajara, Moshe Y. Vardi
Lecture notes in computer science (2021), pp. 3-12
Closed Access | Times Cited: 2
Synergistic Offline-Online Control Synthesis via Local Gaussian Process Regression
J.D. Jackson, Luca Laurenti, Eric W. Frew, et al.
2021 60th IEEE Conference on Decision and Control (CDC) (2021), pp. 2232-2239
Open Access | Times Cited: 1
Page 1

Scroll to top