
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:
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
Xiang Yin, Bingzhao Gao, Xiao Yu
Annual Reviews in Control (2024) Vol. 57, pp. 100940-100940
Open Access | Times Cited: 4
Showing 4 citing articles:
Challenges and opportunities in the industrial usage controller synthesis tools: A review of LTL-based opensource tools for automated control design
Amar Banerjee, Venkatesh Choppella
Results in Control and Optimization (2025), pp. 100511-100511
Open Access
Amar Banerjee, Venkatesh Choppella
Results in Control and Optimization (2025), pp. 100511-100511
Open Access
Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings
Oliver Schön, Zhengang Zhong, Sadegh Soudjani
2022 American Control Conference (ACC) (2024) Vol. 13, pp. 3417-3423
Closed Access | Times Cited: 1
Oliver Schön, Zhengang Zhong, Sadegh Soudjani
2022 American Control Conference (ACC) (2024) Vol. 13, pp. 3417-3423
Closed Access | Times Cited: 1
Formal Control Synthesis via Safe Reinforcement Learning Under Real-Time Specifications
Peng Lv, Guangqing Luo, Zhou He, et al.
(2024), pp. 478-483
Closed Access
Peng Lv, Guangqing Luo, Zhou He, et al.
(2024), pp. 478-483
Closed Access
TalkWithMachines: Enhancing Human-Robot Interaction Through Large/Vision Language Models
Ammar N. Abbas, Csaba Beleznai
(2024), pp. 253-258
Open Access
Ammar N. Abbas, Csaba Beleznai
(2024), pp. 253-258
Open Access