Sean Summers, Maryam Kamgarpour, Claire J. Tomlin, John Lygeros: Stochastic system controller synthesis for reachability specifications encoded by random sets. Autom. 49(9): 2906-2910 (2013)