Login / Signup
Matteo Soldo
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Control Loop
Program Synthesis
Unstructured Environments
Service Robots
Top Venues
Formal Aspects Comput.
</>
Publications
</>
Marcello M. Bersani
,
Matteo Soldo
,
Claudio Menghi
,
Patrizio Pelliccione
,
Matteo Rossi
PuRSUE -from specification of robotic environments to synthesis of controllers.
Formal Aspects Comput.
32 (2-3) (2020)