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 Power of Automata Minimization in Reactive Synthesis
Shufang Zhu, Lucas M. Tabajara, Geguang Pu, et al.
arXiv (Cornell University) (2021) Vol. 346, pp. 117-134
Open Access | Times Cited: 5
Shufang Zhu, Lucas M. Tabajara, Geguang Pu, et al.
arXiv (Cornell University) (2021) Vol. 346, pp. 117-134
Open Access | Times Cited: 5
Showing 5 citing articles:
Declarative Process Specifications: Reasoning, Discovery, Monitoring
Claudio Di Ciccio, Marco Montali
Lecture notes in business information processing (2022), pp. 108-152
Open Access | Times Cited: 28
Claudio Di Ciccio, Marco Montali
Lecture notes in business information processing (2022), pp. 108-152
Open Access | Times Cited: 28
Compositional Safety LTL Synthesis
Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, et al.
Lecture notes in computer science (2023), pp. 1-19
Closed Access | Times Cited: 8
Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, et al.
Lecture notes in computer science (2023), pp. 1-19
Closed Access | Times Cited: 8
Symbolic Solution of Emerson-Lei Games for Reactive Synthesis
Daniel Hausmann, Mathieu Lehaut, Nir Piterman
Lecture notes in computer science (2024), pp. 55-78
Open Access
Daniel Hausmann, Mathieu Lehaut, Nir Piterman
Lecture notes in computer science (2024), pp. 55-78
Open Access
ltl Synthesis Under Environment Specifications for Reachability and Safety Properties
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, et al.
Information and Computation (2024), pp. 105255-105255
Open Access
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, et al.
Information and Computation (2024), pp. 105255-105255
Open Access
$${\textsc {ltl}}_f$$ Synthesis Under Environment Specifications for Reachability and Safety Properties
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, et al.
Lecture notes in computer science (2023), pp. 263-279
Closed Access | Times Cited: 1
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, et al.
Lecture notes in computer science (2023), pp. 263-279
Closed Access | Times Cited: 1
