_id,doi,title
12738,10.1007/s10703-023-00411-4,Stochastic games with lexicographic objectives
8272,10.1007/978-3-030-53291-8_21,Stochastic games with lexicographic reachability-safety objectives
79,10.1007/978-3-319-99154-2_4,Parameter-independent strategies for pMDPs via POMDPs
10418,10.1145/3158121,A new proof rule for almost-sure termination