The paper “Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis” by Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari and Stefano Tonetta received the SEFM2021 best paper award!!!
The paper “Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis” by Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari and Stefano Tonetta received the SEFM2021 best paper award!!!