DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-031-90653-4_11,19740,KrCh,Value iteration with guessing for Markov chains and Markov decision processes
10.1007/978-3-031-90653-4_7,19743,KrCh,Fixed point certificates for reachability and expected rewards in MDPs
10.1007/978-3-031-90653-4_14,19744,KrCh,Refuting equivalence in probabilistic programs with conditioning