ECMS 2022 Best paper awards were given to: DIS 75Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control By Stefano Demarchi, Dario …
ECMS 2022 pictures
Social Event at ECMS 2022
Sunnmøre Museum – with boat excursion Participants got a 2 hour trip on a Viking boat