2nd ESA BLAST Workshop

Name: 2nd ESA BLAST Workshop
Start: 2025-04-09T09:00:00+02:00
End: 2025-04-09T17:00:00+02:00
Location: ESA-ESTEC

9 April 2025

ESA-ESTEC

Europe/Amsterdam timezone

Formal Verification of Optimisation Algorithms: an Overview of Three Different Approaches

9 Apr 2025, 14:45

10m

Einstein

Invited presentations (DEIMOS, Aalborg U., GMV, ENAC)

Pierre-Loïc Garoche (ENAC)

There are no materials yet.