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 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
Showing 5 citing articles:
Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic
Tzanis Anevlavis, Matthew Philippe, Daniel Neider, et al.
ACM Transactions on Computational Logic (2022) Vol. 23, Iss. 2, pp. 1-39
Open Access | Times Cited: 17
Tzanis Anevlavis, Matthew Philippe, Daniel Neider, et al.
ACM Transactions on Computational Logic (2022) Vol. 23, Iss. 2, pp. 1-39
Open Access | Times Cited: 17
Multi-Agent Systems with Quantitative Satisficing Goals
Senthil Rajasekaran, Suguman Bansal, Moshe Y. Vardi
(2023), pp. 280-288
Open Access | Times Cited: 2
Senthil Rajasekaran, Suguman Bansal, Moshe Y. Vardi
(2023), pp. 280-288
Open Access | Times Cited: 2
Synthesis from Satisficing and Temporal Goals
Suguman Bansal, Lydia E. Kavraki, Moshe Y. Vardi, et al.
Proceedings of the AAAI Conference on Artificial Intelligence (2022) Vol. 36, Iss. 9, pp. 9679-9686
Open Access | Times Cited: 3
Suguman Bansal, Lydia E. Kavraki, Moshe Y. Vardi, et al.
Proceedings of the AAAI Conference on Artificial Intelligence (2022) Vol. 36, Iss. 9, pp. 9679-9686
Open Access | Times Cited: 3
A Floyd-Warshall Approach to Value Computation in Markov Decision Processes
Aymeric Côme, Éric Fabre, Loı̈c Hélouët
Lecture notes in computer science (2024), pp. 284-301
Closed Access
Aymeric Côme, Éric Fabre, Loı̈c Hélouët
Lecture notes in computer science (2024), pp. 284-301
Closed Access
Comparator automata in quantitative verification
Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi
Logical Methods in Computer Science (2022) Vol. Volume 18, Issue 3
Open Access | Times Cited: 1
Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi
Logical Methods in Computer Science (2022) Vol. Volume 18, Issue 3
Open Access | Times Cited: 1
