Ali Asadi
Graduate School
Chatterjee Group
2 Publications
2024 | Published | Conference Paper | IST-REx-ID: 17099 | 
Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms
Asadi, Ali, Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms. 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science 323. 2024
[Published Version]
View
| Files available
| DOI
| arXiv
Asadi, Ali, Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms. 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science 323. 2024
2024 | Published | Conference Paper | IST-REx-ID: 17098 |
Deterministic sub-exponential algorithm for discounted-sum games with unary weights
Asadi, Ali, Deterministic sub-exponential algorithm for discounted-sum games with unary weights. 39th Annual ACM/IEEE Symposium on Logic in Computer Science. 2024
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Asadi, Ali, Deterministic sub-exponential algorithm for discounted-sum games with unary weights. 39th Annual ACM/IEEE Symposium on Logic in Computer Science. 2024
Grants
2 Publications
2024 | Published | Conference Paper | IST-REx-ID: 17099 |
Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms
Asadi, Ali, Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms. 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science 323. 2024
[Published Version]
View
| Files available
| DOI
| arXiv
Asadi, Ali, Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms. 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science 323. 2024
2024 | Published | Conference Paper | IST-REx-ID: 17098 |
Deterministic sub-exponential algorithm for discounted-sum games with unary weights
Asadi, Ali, Deterministic sub-exponential algorithm for discounted-sum games with unary weights. 39th Annual ACM/IEEE Symposium on Logic in Computer Science. 2024
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Asadi, Ali, Deterministic sub-exponential algorithm for discounted-sum games with unary weights. 39th Annual ACM/IEEE Symposium on Logic in Computer Science. 2024