_id,doi,title
1689,10.1145/2728606.2728608,Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games