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:
Partitioning Techniques in LTLf Synthesis
Lucas M. Tabajara, Moshe Y. Vardi
(2019), pp. 5599-5606
Open Access | Times Cited: 20
Lucas M. Tabajara, Moshe Y. Vardi
(2019), pp. 5599-5606
Open Access | Times Cited: 20
Showing 20 citing articles:
Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata
Giuseppe De Giacomo, Marco Favorito
Proceedings of the International Conference on Automated Planning and Scheduling (2021) Vol. 31, pp. 122-130
Open Access | Times Cited: 35
Giuseppe De Giacomo, Marco Favorito
Proceedings of the International Conference on Automated Planning and Scheduling (2021) Vol. 31, pp. 122-130
Open Access | Times Cited: 35
Symbolic ltl$$_f$$ Synthesis: A Unified Approach for Synthesizing Winning, Dominant, and Best-Effort Strategies
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
SN Computer Science (2025) Vol. 6, Iss. 2
Open Access
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
SN Computer Science (2025) Vol. 6, Iss. 2
Open Access
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
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
LTLf Synthesis on Probabilistic Systems
Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, et al.
arXiv (Cornell University) (2020) Vol. 326, pp. 166-181
Open Access | Times Cited: 18
Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, et al.
arXiv (Cornell University) (2020) Vol. 326, pp. 166-181
Open Access | Times Cited: 18
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
Model Checking Strategies from Synthesis over Finite Traces
Suguman Bansal, Yong Li, Lucas M. Tabajara, et al.
Lecture notes in computer science (2023), pp. 227-247
Closed Access | Times Cited: 3
Suguman Bansal, Yong Li, Lucas M. Tabajara, et al.
Lecture notes in computer science (2023), pp. 227-247
Closed Access | Times Cited: 3
SAT-Based Automata Construction for LTL over Finite Traces
Yingying Shi, Shengping Xiao, Jianwen Li, et al.
(2020), pp. 1-10
Closed Access | Times Cited: 7
Yingying Shi, Shengping Xiao, Jianwen Li, et al.
(2020), pp. 1-10
Closed Access | Times Cited: 7
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
On Satisficing in Quantitative Games
Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi
Lecture notes in computer science (2021), pp. 20-37
Open Access | Times Cited: 5
Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi
Lecture notes in computer science (2021), pp. 20-37
Open Access | Times Cited: 5
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
Synthesis of Maximally Permissive Strategies for LTLf Specifications
Shufang Zhu, Giuseppe De Giacomo
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (2022), pp. 2783-2789
Open Access | Times Cited: 3
Shufang Zhu, Giuseppe De Giacomo
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (2022), pp. 2783-2789
Open Access | Times Cited: 3
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
Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications
Suguman Bansal, Yong Li, Lucas M. Tabajara, et al.
arXiv (Cornell University) (2019)
Closed Access | Times Cited: 3
Suguman Bansal, Yong Li, Lucas M. Tabajara, et al.
arXiv (Cornell University) (2019)
Closed Access | Times Cited: 3
Mimicking Behaviors in Separated Domains
Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, et al.
Journal of Artificial Intelligence Research (2023) Vol. 77, pp. 1087-1112
Open Access | Times Cited: 1
Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, et al.
Journal of Artificial Intelligence Research (2023) Vol. 77, pp. 1087-1112
Open Access | Times Cited: 1
$${\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
Symbolic $$\textsc {ltl}_f$$ Best-Effort Synthesis
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
Lecture notes in computer science (2023), pp. 228-243
Closed Access | Times Cited: 1
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
Lecture notes in computer science (2023), pp. 228-243
Closed Access | Times Cited: 1
Linear Temporal Logic – From Infinite to Finite Horizon
Lucas M. Tabajara, Moshe Y. Vardi
Lecture notes in computer science (2021), pp. 3-12
Closed Access | Times Cited: 2
Lucas M. Tabajara, Moshe Y. Vardi
Lecture notes in computer science (2021), pp. 3-12
Closed Access | Times Cited: 2
Synthesis of Compact Strategies for Coordination Programs
Kedar S. Namjoshi, Nisarg Patel
Lecture notes in computer science (2022), pp. 46-63
Open Access
Kedar S. Namjoshi, Nisarg Patel
Lecture notes in computer science (2022), pp. 46-63
Open 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
