Sébastien Tixeuil

Documents

Publications

"lmillet"

"pierre-courtieu"

	[Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems Béatrice Bérard , Pierre Courtieu , Laure Millet , Maria Potop-Butucaru , Lionel Rieg International Journal of Informatics Society, 2015, 7 (3), pp.101-114 Article dans une revue hal-01238784v1