DOI,IST REx ID,Research Group,Title of publication
10.1609/aaai.v40i43.40931,21717,"KrCh,GradSch","Qualitative analysis of ω-regular objectives on robust MDPs"