Ali Asadi

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 13

Top Topics

Inductive Reasoning

Markov Decision Process

Stochastic Games

Quantitative Analysis

Top Venues

Publications

Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Jakub Svoboda
Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights. CoRR (2024)
Ali Asadi, Amintor Dusko, Chae-Yeun Park, Vincent Michaud-Rioux, Isidor Schoch, Shuli Shu, Trevor Vincent, Lee James O'Riordan
Hybrid quantum programming with PennyLane Lightning on HPC platforms. CoRR (2024)
Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Jakub Svoboda
Concurrent Stochastic Games with Stateful-discounted and Parity Objectives: Complexity and Algorithms. CoRR (2024)
Ali Asadi, Krishnendu Chatterjee, Jakub Svoboda, Raimundo Saona Urmeneta
Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights. LICS (2024)
Ali Asadi, Kerstin Fischer
The effect of an empathy-eliciting intervention on the perception of telepresence robot users. ARSO (2023)
Ali Asadi, Erica Chinzer, Davide Marocco, Kerstin Fischer
Mitigating the Negative Effect of Telepresence Robots via an Empathy-Eliciting Robot Moderator. MetroXRAINE (2023)
Ali Asadi, Kerstin Fischer
The Effect of Performance Features of Telepresence Robots on the Personality Perception of Their Users. MetroXRAINE (2023)
Ali Asadi, Oliver Niebuhr, Jonas Jørgensen, Kerstin Fischer
Inducing Changes in Breathing Patterns Using a Soft Robot. HRI (2022)
Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi
Polynomial reachability witnesses via Stellensätze. PLDI (2021)
Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis
Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth. CoRR (2020)
Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi
Inductive Reachability Witnesses. CoRR (2020)
Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis
Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth. ATVA (2020)
Anoop Verma, Ali Asadi, Kai Yang, A. Maitra, H. Asgeirsson
Analyzing household charging patterns of Plug-in electric vehicles (PEVs): A data mining approach. Comput. Ind. Eng. 128 (2019)
Naser Kordani, Ali Sadough, Ali Asadi
Research on angle of the failure cone of lightweight nanoceramic/metal laminated composite in the impact test. Neural Comput. Appl. 24 (3-4) (2014)
Mohsen Mahrami, Habibollah Haron, Ali Asadi
An Evolutionary Algorithm for Simultaneous Localization And Mapping (SLAM) With A New Fitness Function. SoMeT (2014)
Naser Kordani, Ali Sadough Vanini, Ali Asadi, Amin Jabbari
Optimization of fracture behavior of alumina/silicon carbide nano ceramic. Neural Comput. Appl. 23 (7-8) (2013)
Ali Asadi, Mohammad Reza Razzazi
Euclidean Steiner Minimal Tree Inside Simple Polygon Avoiding Obstacles. ICCSA Workshops (2007)