Resumen: En este trabajo, estudiamos el problema cualitativo para los objetivos de accesibilidad y paridad en los RMDP sin asumir sobre las estructuras de los RMDP, por ejemplo, unichain o aperiódico. Nuestras contribuciones son dobles. Primero presentamos algoritmos eficientes con acceso a Oracle a conjuntos de incertidumbre que resuelven problemas cualitativos de accesibilidad y objetivos de paridad. Luego informamos resultados experimentales que demuestran la efectividad de nuestro enfoque basado en Oracle en los ejemplos clásicos de RMDP de la literatura que amplía hasta miles de estados.
Publicado Originalme en rss.arxiv.org El 7 de mayo de 2025.
Ver Fuente Original
