---
res:
  bibo_abstract:
  - Robust Markov Decision Processes (RMDPs) generalize classical MDPs that consider
    uncertainties in transition probabilities by defining a set of possible transition
    functions. An objective is a set of runs (or infinite trajectories) of the RMDP,
    and the value for an objective is the maximal probability that the agent can guarantee
    against the adversarial environment. We consider (a) reachability objectives,
    where given a target set of states, the goal is to eventually arrive at one of
    them; and (b) parity objectives, which are a canonical representation for ω-regular
    objectives. The qualitative analysis problem asks whether the objective can be
    ensured with probability 1. In this work, we study the qualitative problem for
    reachability and parity objectives on RMDPs without making any assumption over
    the structures of the RMDPs, e.g., unichain or aperiodic. Our contributions are
    twofold. We first present efficient algorithms with oracle access to uncertainty
    sets that solve qualitative problems of reachability and parity objectives. We
    then report experimental results demonstrating the effectiveness of our oracle-based
    approach on classical RMDP examples from the literature scaling up to thousands
    of states.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Ali
      foaf_name: Asadi, Ali
      foaf_surname: Asadi
      foaf_workInfoHomepage: http://www.librecat.org/personId=02d96aae-000e-11ec-b801-cadd0a5eefbb
  - foaf_Person:
      foaf_givenName: Krishnendu
      foaf_name: Chatterjee, Krishnendu
      foaf_surname: Chatterjee
      foaf_workInfoHomepage: http://www.librecat.org/personId=2E5DCA20-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0002-4561-241X
  - foaf_Person:
      foaf_givenName: Ehsan
      foaf_name: Kafshdar Goharshadi, Ehsan
      foaf_surname: Kafshdar Goharshadi
      foaf_workInfoHomepage: http://www.librecat.org/personId=103b4fa0-896a-11ed-bdf8-87b697bef40d
    orcid: 0000-0002-8595-0587
  - foaf_Person:
      foaf_givenName: Mehrdad
      foaf_name: Karrabi, Mehrdad
      foaf_surname: Karrabi
      foaf_workInfoHomepage: http://www.librecat.org/personId=67638922-f394-11eb-9cf6-f20423e08757
    orcid: 0009-0007-5253-9170
  - foaf_Person:
      foaf_givenName: Ali
      foaf_name: Shafiee, Ali
      foaf_surname: Shafiee
      foaf_workInfoHomepage: http://www.librecat.org/personId=2783031a-7378-11f0-b2d0-f17f1db2ebad
  bibo_doi: 10.1609/aaai.v40i43.40931
  bibo_issue: '43'
  bibo_volume: 40
  dct_date: 2026^xs_gYear
  dct_isPartOf:
  - http://id.crossref.org/issn/2159-5399
  - http://id.crossref.org/issn/2374-3468
  dct_language: eng
  dct_publisher: Association for the Advancement of Artificial Intelligence@
  dct_title: Qualitative analysis of ω-regular objectives on robust MDPs@
...