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.
