Robotique

Algebraic synthesis of logical controllers with optimization criteria

Publié le - 6th International Workshop on Verification and Evaluation of Computer and Communication Systems VECOS 2012

Auteurs : Hélène Leroux, Jean-Marc Roussel