Ali Shafiee

3 papers · 2020–2026 · 3 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (2) 🏃 Academic Marathon (5) 🧭 Keyword Pioneer 🐝 Cross-Pollinator (14)

Conferences

AAAI (1) ECCV (1) UAI (1)

Top co-authors

Krishnendu Chatterjee (2) Ali Asadi (2) Ehsan Kafshdar Goharshady (1) Georgios Georgiadis (1) Mehrdad Karrabi (1) Joseph H. Hassoun (1) Hamzah Abdel-Aziz (1) Raimundo Saona (1) Jun Fang (1) David Thorsley (1)

Keywords

markov decision process (1) robust mdp (1) probabilistic model checking (1) parity objective (1) reachability objective (1)

Papers

Qualitative Analysis of ω-Regular Objectives on Robust MDPs AAAI 2026

Limit-sure Reachability for Small Memory Policies in POMDPs is NP-complete UAI 2025

Post-Training Piecewise Linear Quantization for Deep Neural Networks ECCV 2020