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ć
arXiv (Cornell University) (2019)
Open Access | Times Cited: 4
Yu Wang, Siddhartha Nalluri, Miroslav Pajić
arXiv (Cornell University) (2019)
Open Access | Times Cited: 4
Showing 4 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
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
Bounded Model Checking for Hyperproperties
Tzu-Han Hsu, César Sánchez, Borzoo Bonakdarpour
(2021)
Open Access | Times Cited: 9
Tzu-Han Hsu, César Sánchez, Borzoo Bonakdarpour
(2021)
Open Access | Times Cited: 9
Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks
Shuo Yang, Xiang Yin, Shaoyuan Li, et al.
arXiv (Cornell University) (2020)
Open Access
Shuo Yang, Xiang Yin, Shaoyuan Li, et al.
arXiv (Cornell University) (2020)
Open Access
HyperQube: A QBF-Based Bounded Model Checker for Hyperproperties.
Tzu-Han Hsu, Borzoo Bonakdarpour, César Sánchez
(2021)
Closed Access
Tzu-Han Hsu, Borzoo Bonakdarpour, César Sánchez
(2021)
Closed Access
