DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-032-05792-1_11,20610,KrCh,"What are the odds? Improving statistical model checking of Markov decision processes"