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:
Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications
Suguman Bansal, Yong Li, Lucas M. Tabajara, et al.
Proceedings of the AAAI Conference on Artificial Intelligence (2020) Vol. 34, Iss. 06, pp. 9766-9774
Open Access | Times Cited: 29
Suguman Bansal, Yong Li, Lucas M. Tabajara, et al.
Proceedings of the AAAI Conference on Artificial Intelligence (2020) Vol. 34, Iss. 06, pp. 9766-9774
Open Access | Times Cited: 29
Showing 26-50 of 29 citing articles:
Efficient Algorithms for LTL$$_f$$ Synthesis
Marco Favorito
Lecture notes in computer science (2023), pp. 540-546
Closed Access
Marco Favorito
Lecture notes in computer science (2023), pp. 540-546
Closed Access
Model-Guided Synthesis for LTL over Finite Traces
Shengping Xiao, Yongkang Li, Xinyue Huang, et al.
Lecture notes in computer science (2023), pp. 186-207
Closed Access
Shengping Xiao, Yongkang Li, Xinyue Huang, et al.
Lecture notes in computer science (2023), pp. 186-207
Closed Access
Automata-Based Quantitative Verification
Suguman Bansal
arXiv (Cornell University) (2020)
Closed Access
Suguman Bansal
arXiv (Cornell University) (2020)
Closed Access
On Satisficing in Quantitative Games
Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi
(2021)
Open Access
Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi
(2021)
Open Access
