2018

Conférence Internationale avec comité de lecture

• [CBT18] P. Courtieu, T. Balabonski, S. Tixeuil, X. Urbain, L. Rieg. "Brief Announcement: Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots", Stabilization, Safety, and Security of Distributed Systems (SSS), November 2018, Vol. 11201, pp.404-408, Series LNCS, Tokyo, Japon, (DOI: 10.1007/978-3-030-03232-6_29)