Mehrdad Karrabi
3 papers
· 2024–2026
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(8)
Conferences
AAAI (2)
IJCAI (1)
Top co-authors
Keywords
robust mdp
(2)
formal verification
(1)
markov decision process
(1)
stochastic game
(1)
average reward
(1)
linear arithmetic
(1)
polytopic uncertainty
(1)
polynomial arithmetic
(1)
probabilistic model checking
(1)
robust policy iteration
(1)
quantifier elimination
(1)
template-based skolemization
(1)
parity objective
(1)
automated reasoning
(1)
reachability objective
(1)