Soutenance de thèse d’Ivan Hasenohr
Toutes nos félicitations à Ivan Hasenohr qui a soutenu sa thèse intitulée “Computer-assisted Proofs of Reachability Analysis for Linear Control Systems under Bounded Constraints” le 20 novembre 2025.
Toutes nos félicitations à Ivan Hasenohr qui a soutenu sa thèse intitulée “Computer-assisted Proofs of Reachability Analysis for Linear Control Systems under Bounded Constraints” le 20 novembre 2025.
