L'articolo "PuRSUE - from specification of robotics environments to synthesis of controllers" di Marcello M. Bersani, Matteo Soldo, Claudio Menghi, Patrizio Pelliccione e Mario Rossi, pubblicato sulla rivista scientifica Formal Aspects of Computing, è stato selezionato come outstanding paper ed è stato presentato durante FM 2021, 24^a edizione del simposio internazionale dell'associazione Formal Methods Europe.

Categoria:
Migliore articolo

Area di ricerca:

Linee di ricerca: