PuRSUE -from specification of robotic environments to synthesis of controllers. - Marcello M. Bersani; Matteo Soldo; Claudio Menghi; Patrizio Pelliccione; Matteo Rossi 001 (Formal Aspects Comput., 2020)