CNR-Inria Team Wins Gold Medals at the RERS 2020 Parallel CTL Challenge
Franco Mazzanti (FMT lab, ISTI-CNR, Pisa, Italy), Frédéric Lang and Wendelin Serwe (CONVECS, Inria-Grenoble, France), after their successful participation in last year’s RERS 2019 Challenge, again won three gold medals at the “Parallel CTL” track of RERS 2020 [L1].