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:

Hyperproperties for Robotics: Planning via HyperLTL
Yu Wang, Siddhartha Nalluri, Miroslav Pajić
(2020), pp. 8462-8468
Open Access | Times Cited: 21

Showing 21 citing articles:

Survey of Human–Robot Collaboration in Industrial Settings: Awareness, Intelligence, and Compliance
Shitij Kumar, Celal Savur, Ferat Sahin
IEEE Transactions on Systems Man and Cybernetics Systems (2020) Vol. 51, Iss. 1, pp. 280-297
Closed Access | Times Cited: 144
AutoHyper: Explicit-State Model Checking for HyperLTL
Raven Beutner, Bernd Finkbeiner
Lecture notes in computer science (2023), pp. 145-163
Closed Access | Times Cited: 15
A Unified Framework for Verification of Observational Properties for Partially-Observed Discrete-Event Systems
Jianing Zhao, Shaoyuan Li, Xiang Yin
IEEE Transactions on Automatic Control (2024) Vol. 69, Iss. 7, pp. 4710-4717
Open Access | Times Cited: 5
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
Checking Satisfiability of Hyperproperties Using First-Order Logic
Raven Beutner, Bernd Finkbeiner
Lecture notes in computer science (2025), pp. 198-211
Closed Access
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
Bounded Model Checking for Hyperproperties
Tzu-Han Hsu, César Sánchez, Borzoo Bonakdarpour
Lecture notes in computer science (2021), pp. 94-112
Open Access | Times Cited: 25
Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks
Shuo Yang, Xiang Yin, Shaoyuan Li, et al.
2021 60th IEEE Conference on Decision and Control (CDC) (2020), pp. 4460-4466
Open Access | Times Cited: 16
Motion Planning Using Hyperproperties for Time Window Temporal Logic
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
IEEE Robotics and Automation Letters (2023) Vol. 8, Iss. 8, pp. 4386-4393
Closed Access | Times Cited: 6
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
Hypertesting of Programs: Theoretical Foundation and Automated Test Generation
Michele Pasqua, Mariano Ceccato, Paolo Tonella
(2024), pp. 1-12
Open Access | Times Cited: 1
Secure-by-Construction Controller Synthesis for Stochastic Systems under Linear Temporal Logic Specifications
Yifan Xie, Xiang Yin, Shaoyuan Li, et al.
2021 60th IEEE Conference on Decision and Control (CDC) (2021), pp. 7015-7021
Closed Access | Times Cited: 8
Security-Aware Reinforcement Learning under Linear Temporal Logic Specifications
Bohan Cui, Keyi Zhu, Shaoyuan Li, et al.
(2023)
Closed Access | Times Cited: 3
Deductive Controller Synthesis for Probabilistic Hyperproperties
Roman Andriushchenko, Ezio Bartocci, Milan Češka, et al.
Lecture notes in computer science (2023), pp. 288-306
Closed Access | Times Cited: 2
Efficient SMT-Based Model Checking for HyperTWTL
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
Lecture notes in computer science (2024), pp. 332-352
Closed Access
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
HyperPCTL Model Checking by Probabilistic Decomposition
Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám, et al.
Lecture notes in computer science (2022), pp. 209-226
Closed Access | Times Cited: 2
Probabilistic Planning with Prioritized Preferences over Temporal Logic Objectives
Lening Li, Hazhar Rahmani, Jie Fu
(2023), pp. 189-198
Open Access
Lightweight Verification of Hyperproperties
Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, et al.
Lecture notes in computer science (2023), pp. 3-25
Closed Access
Using Knowledge Awareness to Improve Safety of Autonomous Driving
Andrea Calvagna, Arabinda Ghosh, Sadegh Soudjnai
2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC) (2023) Vol. 11, pp. 2997-3002
Open Access
Verification of Hyperproperties for Uncertain Dynamical Systems via Barrier Certificates.
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, et al.
arXiv (Cornell University) (2021)
Closed Access
Page 1

Scroll to top