DOI,IST REx ID,Research Group,Title of publication
10.46298/theoretics.25.10,21413,KrCh,Learning algorithms for verification of Markov decision processes