conftrace_

Ali Asadi

4 papers · 2025–2026 · 2 conferences · across top CS/AI conferences

Achievements

Jump to papers ↓

🌍 Conference Polyglot (2) 🧭 Keyword Pioneer 🐝 Cross-Pollinator (14) 🏆 Keyword Champion (2)

Conferences

AAAI (2) UAI (2)

Top co-authors

Krishnendu Chatterjee (4) Ali Shafiee (2) Raimundo Saona (2) David Lurie (1) Mehrdad Karrabi (1) Jakob de Raaij (1) Ehsan Kafshdar Goharshady (1)

Keywords

parity objective (2) probabilistic model checking (2) robust mdp (1) reachability objective (1) limit-sure winning (1) markov decision process (1) revealing pomdp (1) partially observable 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 Lower Bound on Howard Policy Iteration for Deterministic Markov Decision Processes UAI 2025 Limit-sure Reachability for Small Memory Policies in POMDPs is NP-complete UAI 2025