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:
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
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
Showing 6 citing articles:
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
Booleguru, the Propositional Polyglot (Short Paper)
Maximilian Heisinger, Simone Heisinger, Martina Seidl
Lecture notes in computer science (2024), pp. 315-324
Open Access | Times Cited: 2
Maximilian Heisinger, Simone Heisinger, Martina Seidl
Lecture notes in computer science (2024), pp. 315-324
Open Access | Times Cited: 2
Learning to Execute Timed-Temporal-Logic Navigation Tasks under Input Constraints in Obstacle-Cluttered Environments
Fotios Tolis, Panagiotis S. Trakas, Taxiarchis-Foivos Blounas, et al.
Robotics (2024) Vol. 13, Iss. 5, pp. 65-65
Open Access | Times Cited: 1
Fotios Tolis, Panagiotis S. Trakas, Taxiarchis-Foivos Blounas, et al.
Robotics (2024) Vol. 13, Iss. 5, pp. 65-65
Open Access | Times Cited: 1
Model Checking Time Window Temporal Logic for Hyperproperties
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
(2023), pp. 100-110
Open Access | Times Cited: 2
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
(2023), pp. 100-110
Open Access | Times Cited: 2
Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design
Lisa O'conner, Hou Seng Wong, Ndt Ma, et al.
(2023)
Open Access
Lisa O'conner, Hou Seng Wong, Ndt Ma, et al.
(2023)
Open Access
QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring
Ernest Bonnah, Khaza Anuarul Hoque
(2023), pp. 90-99
Open Access
Ernest Bonnah, Khaza Anuarul Hoque
(2023), pp. 90-99
Open Access
