Verification and synthesis of control system: efficiency and robustness

par Emily Clement

Projet de thèse en Informatique

Sous la direction de Thierry Jeron et de Nicolas Markey.

Thèses en préparation à Rennes 1 , dans le cadre de Mathématiques et Sciences et Technologies de l'Information et de la Communication , en partenariat avec INSTITUT DE RECHERCHES EN INFORMATIQUE ET SYSTEMES ALEATOIRES (equipe de recherche) depuis le 11-12-2018 .