DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-032-32519-8_12,22717,"ToHe,GradSch","Randomise alone, reach as a team"
10.1609/aaai.v40i43.40931,21717,"KrCh,GradSch","Qualitative analysis of ω-regular objectives on robust MDPs"
null,20297,"KrCh,GradSch",Limit-sure reachability for small memory policies in POMDPs is NP-complete