DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.CONCUR.2022.11,12775,KrCh,Anytime guarantees for reachability in uncountable Markov decision processes