Publié
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
Robotique
Publié le - 6th International Workshop on Verification and Evaluation of Computer and Communication Systems VECOS 2012