A Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems. - Dalibor Drzajic; Nikolaos Kariotoglou; Maryam Kamgarpour; John Lygeros (ARCH@CPSWeek, 2016)