DOI,IST REx ID,Research Group,Title of publication
10.1007/s10703-023-00411-4,12738,KrCh,Stochastic games with lexicographic objectives
10.1007/978-3-030-53291-8_21,8272,KrCh,Stochastic games with lexicographic reachability-safety objectives
10.1007/978-3-319-99154-2_4,79,"KrCh,ToHe",Parameter-independent strategies for pMDPs via POMDPs
10.1145/3158121,10418,"KrCh,ToHe",A new proof rule for almost-sure termination