×
2020
PuRSUE -from specification of robotic environments to synthesis of controllers.
[DOI]
Marcello M. Bersani
,
Matteo Soldo
,
Claudio Menghi
,
Patrizio Pelliccione
,
Matteo Rossi
Formal Aspects Comput., 2020