Ali Asadi
5 papers · 2025–2026 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Silver
⭐
Rising Star
(5)
Top co-authors
Research topics
Keywords
parity objective
(2)
policy iteration
(2)
probabilistic model checking
(2)
partially observable markov decision process
(2)
uncertainty set
(1)
lower bound
(1)
stochastic game
(1)
robust markov decision process
(1)
robust mdp
(1)
mean-payoff objective
(1)
reachability objective
(1)
limit-sure winning
(1)
revealing pomdp
(1)
strongly polynomial time
(1)
deterministic markov decision process
(1)
limit-sure reachability
(1)
sequential decision making
(1)
small memory policy
(1)
computational complexity
(1)
markov decision process
(1)
Papers
Qualitative Analysis of ω-Regular Objectives on Robust MDPs
AAAI 2026
Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives
AAAI 2026
Strongly Polynomial Time Complexity of Policy Iteration for $L_∞$ Robust MDPs
COLT 2026
Limit-sure Reachability for Small Memory Policies in POMDPs is NP-complete
UAI 2025
Lower Bound on Howard Policy Iteration for Deterministic Markov Decision Processes
UAI 2025