| 2026 | AAAI | Qualitative Analysis of ω-Regular Objectives on Robust MDPs. | Ali Asadi, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Ali Shafiee |
| 2026 | AAAI | Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives. | Ali Asadi, Krishnendu Chatterjee, David Lurie, Raimundo Saona |
| 2026 | COLT | Strongly Polynomial Time Complexity of Policy Iteration for L | Ali Asadi, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Alipasha Montaseri, Carlo Pagano |
| 2026 | CONCUR | PAC Learning in Turn-Based Stochastic Games with Reachability Objectives: A Decentralized Private Approach via Expected Conditional Distance. | Ali Asadi, Krishnendu Chatterjee, Pavol Kebis |
| 2026 | CONCUR | Generalized Bidding Games: Where Bidding and Stochastic Games Meet. | Ali Asadi, Thomas A. Henzinger, Ehsan Kafshdar Goharshady, Pavol Kebis, Kaushik Mallik |
| 2025 | RO-MAN | Triggering Anthropomorphism or Depicting a Robot Character: The Effects of Human-like Timing of Emotional Expression in Human-Robot Interactions. | Matous Jelnek, Ali Asadi, Caroline Willum Bech, Kerstin Fischer |
| 2025 | UAI | Lower Bound on Howard Policy Iteration for Deterministic Markov Decision Processes. | Ali Asadi, Krishnendu Chatterjee, Jakob de Raaij |
| 2025 | UAI | Limit-sure Reachability for Small Memory Policies in POMDPs is NP-complete. | Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Ali Shafiee |
| 2024 | LICS | Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights. | Ali Asadi, Krishnendu Chatterjee, Jakub Svoboda, Raimundo Saona Urmeneta |
| 2022 | HRI | Inducing Changes in Breathing Patterns Using a Soft Robot. | Ali Asadi, Oliver Niebuhr, Jonas Jrgensen, Kerstin Fischer |
| 2021 | PLDI | Polynomial reachability witnesses via Stellenstze. | Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi |
| 2020 | ATVA | Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth. | Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis |
| 2014 | SoMeT | An Evolutionary Algorithm for Simultaneous Localization And Mapping (SLAM) With A New Fitness Function. | Mohsen Mahrami, Habibollah Haron, Ali Asadi |
| 2007 | ICCSA | Euclidean Steiner Minimal Tree Inside Simple Polygon Avoiding Obstacles. | Ali Asadi, Mohammad Reza Razzazi |