Current teams :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Former teams :	AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Former research topics :	ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF

Publications MoVe	2014	2015	2016	2017	2018	2019	Total
Books	0	0	1	0	0	0	1
Edited books	2	2	2	3	2	1	12
Journal articles	8	6	10	8	4	4	40
Book chapters	1	0	1	1	0	1	4
Conference papers	26	23	18	23	15	10	115
Habilitations	0	1	1	1	0	1	4
Theses	3	2	3	0	0	1	9

LIP6

• M. Potop‑Butucaru, N. Sznajder, S. Tixeuil, X. Urbain : “Formal Methods for Mobile Robots”, chapter in Distributed Computing by Mobile Entities,Current Research in Moving and Computing n°11340, Theoretical Computer Science and General Issues, pp. 278-313, (Springer International Publishing), (ISBN: 978-3-030-11071-0) [Potop-Butucaru 2019]