Ali Asadi

31 papers A* 5A 2B 2C 1Journal 15Unranked 6
YearRankTypeTitle / Venue / Authors
2026 A* conf
Qualitative Analysis of ω-Regular Objectives on Robust MDPs.
AAAI
Ali Asadi, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Ali Shafiee
2026 A* conf
Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives.
AAAI
Ali Asadi, Krishnendu Chatterjee, David Lurie, Raimundo Saona
2026 J jnl
Strongly Polynomial Time Complexity of Policy Iteration for L
CoRR
Ali Asadi, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Alipasha Montaseri, Carlo Pagano
2025 A conf
Limit-sure Reachability for Small Memory Policies in POMDPs is NP-complete.
UAI
Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Ali Shafiee
2025 A conf
Lower Bound on Howard Policy Iteration for Deterministic Markov Decision Processes.
UAI
Ali Asadi, Krishnendu Chatterjee, Jakob de Raaij
2025 J jnl
Lower Bound on Howard Policy Iteration for Deterministic Markov Decision Processes.
CoRR
Ali Asadi, Krishnendu Chatterjee, Jakob de Raaij
2025 J jnl
Qualitative Analysis of ω-Regular Objectives on Robust MDPs.
CoRR
Ali Asadi, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Ali Shafiee
2025 J jnl
Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives.
CoRR
Ali Asadi, Krishnendu Chatterjee, David Lurie, Raimundo Saona
2025 B conf
Triggering Anthropomorphism or Depicting a Robot Character: The Effects of Human-like Timing of Emotional Expression in Human-Robot Interactions.
RO-MAN
Matous Jelínek, Ali Asadi, Caroline Willum Bech, Kerstin Fischer
2025 — conf
ε-Stationary Nash Equilibria in Multi-Player Stochastic Graph Games.
FSTTCS
Ali Asadi, Léonard Brice, Krishnendu Chatterjee, K. S. Thejaswini
2025 J jnl
ε-Stationary Nash Equilibria in Multi-player Stochastic Graph Games.
CoRR
Ali Asadi, Léonard Brice, Krishnendu Chatterjee, K. S. Thejaswini
2024 J jnl
Catalyst: a Python JIT compiler for auto-differentiable hybrid quantum programs.
J. Open Source Softw.
David Ittah, Ali Asadi, Erick Ochoa Lopez, Sergei Mironov, Samuel Banning, Romain Moyard, Mai Jacob Peng, Josh A. Izaac
2024 — conf
Concurrent Stochastic Games with Stateful-Discounted and Parity Objectives: Complexity and Algorithms.
FSTTCS
Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Jakub Svoboda
2024 J jnl
Concurrent Stochastic Games with Stateful-discounted and Parity Objectives: Complexity and Algorithms.
CoRR
Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Jakub Svoboda
2024 A* conf
Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights.
LICS
Ali Asadi, Krishnendu Chatterjee, Jakub Svoboda, Raimundo Saona Urmeneta
2024 J jnl
Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights.
CoRR
Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Jakub Svoboda
2024 J jnl
Hybrid quantum programming with PennyLane Lightning on HPC platforms.
CoRR
Ali Asadi, Amintor Dusko, Chae-Yeun Park, Vincent Michaud-Rioux, Isidor Schoch, Shuli Shu, Trevor Vincent, Lee James O'Riordan
2024 J jnl
Limit-sure reachability for small memory policies in POMDPs is NP-complete.
CoRR
Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Ali Shafiee
2023 — conf
Mitigating the Negative Effect of Telepresence Robots via an Empathy-Eliciting Robot Moderator.
MetroXRAINE
Ali Asadi, Erica Chinzer, Davide Marocco, Kerstin Fischer
2023 — conf
The Effect of Performance Features of Telepresence Robots on the Personality Perception of Their Users.
MetroXRAINE
Ali Asadi, Kerstin Fischer
2023 — conf
The effect of an empathy-eliciting intervention on the perception of telepresence robot users.
ARSO
Ali Asadi, Kerstin Fischer
2022 A* conf
Inducing Changes in Breathing Patterns Using a Soft Robot.
HRI
Ali Asadi, Oliver Niebuhr, Jonas Jørgensen, Kerstin Fischer
2021 A* conf
Polynomial reachability witnesses via Stellensätze.
PLDI
Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi
2020 B conf
Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth.
ATVA
Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis
2020 J jnl
Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth.
CoRR
Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis
2020 J jnl
Inductive Reachability Witnesses.
CoRR
Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi
2019 J jnl
Analyzing household charging patterns of Plug-in electric vehicles (PEVs): A data mining approach.
Comput. Ind. Eng.
Anoop Verma, Ali Asadi, Kai Yang, A. Maitra, H. Asgeirsson
2014 C conf
An Evolutionary Algorithm for Simultaneous Localization And Mapping (SLAM) With A New Fitness Function.
SoMeT
Mohsen Mahrami, Habibollah Haron, Ali Asadi
2014 J jnl
Research on angle of the failure cone of lightweight nanoceramic/metal laminated composite in the impact test.
Neural Comput. Appl.
Naser Kordani, Ali Sadough, Ali Asadi
2013 J jnl
Optimization of fracture behavior of alumina/silicon carbide nano ceramic.
Neural Comput. Appl.
Naser Kordani, Ali Sadough Vanini, Ali Asadi, Amin Jabbari
2007 — conf
Euclidean Steiner Minimal Tree Inside Simple Polygon Avoiding Obstacles.
ICCSA Workshops
Ali Asadi, Mohammad Reza Razzazi