Ehsan Kafshdar Goharshady

most citedEquivalence and Similarity Refutation for Probabilistic Programs

2 citations · 2 across the 3 of their papers we have counts for

collaborators

Showing cs.AIShow all

1 paper · 1 filter

cs.AI2025

Qualitative Analysis of $ω$ -Regular Objectives on Robust MDPs

Ali Asadi, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady +2

Robust Markov Decision Processes (RMDPs) generalize classical MDPs that consider uncertainties in transition probabilities by defining a set of possible transition functions. An ob…

Qualitative Analysis of ω-Regular Objectives on Robust MDPs

Qualitative Analysis of $ω$ -Regular Objectives on Robust MDPs