Ali Asadi

202020212022202320242 4 12 12 22

Public access

3 articles

0 articles

available

not available

Based on funding mandates

Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Amir GoharshadyHong Kong University of Science and Technology (HKUST)Verified email at cse.ust.hk
Raimundo Julián Saona UrmenetaPhD student, IST AustriaVerified email at ug.uchile.cl
Jakub SvobodaIST AustriaVerified email at ist.ac.at

Ali Asadi

Ph.D. Student, IST Austria

Verified email at ist.ac.at - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Polynomial reachability witnesses via Stellensätze A Asadi, K Chatterjee, H Fu, AK Goharshady, M Mahdavi Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021	36	2021
Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth A Asadi, K Chatterjee, AK Goharshady, K Mohammadi, A Pavlogiannis International Symposium on Automated Technology for Verification and …, 2020	16	2020
Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights A Asadi, K Chatterjee, R Saona, J Svoboda Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer …, 2024		2024
Concurrent Stochastic Games with Stateful-discounted and Parity Objectives: Complexity and Algorithms A Asadi, K Chatterjee, R Saona, J Svoboda arXiv preprint arXiv:2405.02486, 2024		2024

The system can't perform the operation now. Try again later.

Articles 1–4

Citations per year