2015

Revue Internationale avec comité de lecture

• [CBM15] P. Courtieu, B. Bérard, L. Millet, M. Potop-Butucaru, L. Rieg, N. Sznajder, S. Tixeuil, X. Urbain. "[Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems", International Journal of Informatics Society, vol. 7(3), pp. 101-114, 2015