Published

Robotique

Algebraic synthesis of logical controllers with optimization criteria

Published on - 6th International Workshop on Verification and Evaluation of Computer and Communication Systems VECOS 2012

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

See the publication on HAL