|
 
|
Béatrice Bérard
|
|
Publications
2015
- [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
