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:
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems
Saddek Bensalem, Chih-Hong Cheng, Wei Huang, et al.
Lecture notes in computer science (2023), pp. 55-76
Closed Access | Times Cited: 6
Saddek Bensalem, Chih-Hong Cheng, Wei Huang, et al.
Lecture notes in computer science (2023), pp. 55-76
Closed Access | Times Cited: 6
Showing 6 citing articles:
A survey of safety and trustworthiness of large language models through the lens of verification and validation
Xiaowei Huang, Wenjie Ruan, Wei Huang, et al.
Artificial Intelligence Review (2024) Vol. 57, Iss. 7
Open Access | Times Cited: 28
Xiaowei Huang, Wenjie Ruan, Wei Huang, et al.
Artificial Intelligence Review (2024) Vol. 57, Iss. 7
Open Access | Times Cited: 28
Runtime Monitoring and Fault Detection for Neural Network-Controlled Systems
Jianglin Lan, Siyuan Zhan, Ron J. Patton, et al.
IFAC-PapersOnLine (2024) Vol. 58, Iss. 4, pp. 258-263
Open Access | Times Cited: 1
Jianglin Lan, Siyuan Zhan, Ron J. Patton, et al.
IFAC-PapersOnLine (2024) Vol. 58, Iss. 4, pp. 258-263
Open Access | Times Cited: 1
DECISIVE: Designing Critical Systems With Iterative Automated Safety Analysis
Ran Wei, Zhe Jiang, Xiaoran Guo, et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2023) Vol. 43, Iss. 5, pp. 1346-1359
Open Access | Times Cited: 4
Ran Wei, Zhe Jiang, Xiaoran Guo, et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2023) Vol. 43, Iss. 5, pp. 1346-1359
Open Access | Times Cited: 4
AI-Assisted Programming with Test-Based Refinement
Bernhard K. Aichernig, Klaus Havelund
Lecture notes in computer science (2024), pp. 385-411
Open Access
Bernhard K. Aichernig, Klaus Havelund
Lecture notes in computer science (2024), pp. 385-411
Open Access
Robustness Evaluation for Safety-Critical Systems Utilizing Artificial Neural Network Classifiers in Operation: A Survey
Jin Zhang, Jingyue Li, Josef Oehmen
SSRN Electronic Journal (2023)
Closed Access | Times Cited: 1
Jin Zhang, Jingyue Li, Josef Oehmen
SSRN Electronic Journal (2023)
Closed Access | Times Cited: 1
Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems
Wei Huang, Yifan Zhou, Gaojie Jin, et al.
arXiv (Cornell University) (2020)
Open Access | Times Cited: 2
Wei Huang, Yifan Zhou, Gaojie Jin, et al.
arXiv (Cornell University) (2020)
Open Access | Times Cited: 2
