_id,doi,title
1407,10.1016/j.nahs.2016.04.006,Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games