Published
Robotique
Algebraic synthesis of logical controllers despite inconsistencies in specifications
Published on - 11th International Workshop on Discrete Event Systems, WODES 2012
Robotique
Published on - 11th International Workshop on Discrete Event Systems, WODES 2012