Adrien Le Coënt
发表
L. Fribourg,
C. Rey,
L. Chamoin,
2016,
International Journal of Dynamics and Control.
L. Fribourg,
Alexandre Chapoutot,
Julien Alexandre dit Sandretto,
2017,
Formal Methods in System Design.