_id,doi,title
8272,10.1007/978-3-030-53291-8_21,Stochastic games with lexicographic reachability-safety objectives