Outstanding Paper

2021 - BERSANI MARCELLO MARIA

The paper "PuRSUE - from specification of robotics environments to synthesis of controllers" by Marcello M. Bersani, Matteo Soldo, Claudio Menghi, Patrizio Pelliccione and Mario Rossi, published in the scientific journal Formal Aspects of Computing, has been selected as oustanding paper and was presented in FM 2021, the 24^th edition of the Formal Methods Europe international symposium.