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

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 …
Sunnmøre Museum – with boat excursion Participants got a 2 hour trip on a Viking boat