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 24th edition of the Formal Methods Europe international symposium.
Tipology:
Best paper awards
Research area:
Research lines:
Best paper awards
Research area:
Research lines: