2nd ESA BLAST Workshop

Session

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

9 Apr 2025, 14:15

Einstein Conference Room (ESA-ESTEC)

5. The "Smart Launcher Enablers" Project: Results and Status

João Pedro Belfo (Indra Deimos), Aitor Gomez (Aalborg University)

09/04/2025, 14:15

6. V&V of Launcher GNC at GMV

Pedro Lourenço (GMV)

09/04/2025, 14:35

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

Pierre-Loïc Garoche (ENAC)

09/04/2025, 14:45