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:
On-the-fly Synthesis for LTL over Finite Traces
Shengping Xiao, Jianwen Li, Shufang Zhu, et al.
Proceedings of the AAAI Conference on Artificial Intelligence (2021) Vol. 35, Iss. 7, pp. 6530-6537
Open Access | Times Cited: 6
Shengping Xiao, Jianwen Li, Shufang Zhu, et al.
Proceedings of the AAAI Conference on Artificial Intelligence (2021) Vol. 35, Iss. 7, pp. 6530-6537
Open Access | Times Cited: 6
Showing 6 citing articles:
Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories
Andoni Rodríguez, César Sánchez
Proceedings of the AAAI Conference on Artificial Intelligence (2024) Vol. 38, Iss. 9, pp. 10679-10686
Open Access | Times Cited: 2
Andoni Rodríguez, César Sánchez
Proceedings of the AAAI Conference on Artificial Intelligence (2024) Vol. 38, Iss. 9, pp. 10679-10686
Open Access | Times Cited: 2
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work
Giuseppe De Giacomo, Marco Favorito, Jianwen Li, et al.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (2022), pp. 2591-2598
Open Access | Times Cited: 7
Giuseppe De Giacomo, Marco Favorito, Jianwen Li, et al.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (2022), pp. 2591-2598
Open Access | Times Cited: 7
Translation of Semi-extended Regular Expressions Using Derivatives
Antoine Martin, Étienne Renault, Alexandre Duret-Lutz
Lecture notes in computer science (2024), pp. 234-248
Closed Access
Antoine Martin, Étienne Renault, Alexandre Duret-Lutz
Lecture notes in computer science (2024), pp. 234-248
Closed Access
Foundations of Collaborative $$\textsf{DECLARE}$$
Luca Geatti, Marco Montali, Andrey Rivkin
Lecture notes in business information processing (2023), pp. 55-72
Closed Access | Times Cited: 1
Luca Geatti, Marco Montali, Andrey Rivkin
Lecture notes in business information processing (2023), pp. 55-72
Closed Access | Times Cited: 1
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
