2024 / Séjours d'études 13/06/2024 par ldiebold · Published 13/06/2024 · Last modified 22/01/2025 Preuves assistées par ordinateur pour l’atteignabilité en théorie du contrôle linéaire avec contraintes