Robust Control Policies Given Formal Specifications in Uncertain Environments. - Damian Frick; Tony A. Wood; Gian Ulli; Maryam Kamgarpour (IEEE Control. Syst. Lett., 2017)