Efficient synthesis of controllers using symbolic models

  • Posted on: 12 April 2018
  • By: admin
  • Updated on: 12 April 2018
Type recrutement: 
Sujet de thèse
Entité et lieu: 
L2S, Gif - sur - Yvette