Ali Asadi

Ali Asadi

Institute of Science and Technology, Austria - Klosterneuburg / Austria
Others
AD Scientific Index ID: 5080970
-
person_outline Ali Asadi's MOST POPULAR ARTICLES
1-) 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 202021
2-) 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 122020
3-) Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary WeightsA Asadi, K Chatterjee, R Saona, J SvobodaProceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer …, 20242024
4-) Concurrent Stochastic Games with Stateful-discounted and Parity Objectives: Complexity and AlgorithmsA Asadi, K Chatterjee, R Saona, J SvobodaarXiv preprint arXiv:2405.02486, 20242024