@article{BCM+5,
title = {Formal Methods for Mobile Robots : Current Results and Open Problems },
author = {B\'erard, B\'eatrice and Courtieu, Pierre and Millet, Laure and Potop-Butucaru, Maria and Rieg, Lionel and Sznajder, Nathalie and Tixeuil, S\'ebastien and Urbain, Xavier},
year = {2015},
journal = {International Journal of Information Society},
number = {3},
pages = {101--114},
volume = {7},
team = {Coll\`ege de France, Other},
}
