Xavier Urbain - Robotic Swarms the Quest for Safety
Xavier Urbain is full professor at Université Claude Bernard, Lyon,
France. He received his PhD from University Paris-Sud XI in 2001, as
well as his Habilitation in 2010. He is a specialist of automated
deduction and certified proof, in particular aimed at exhibiting
properties of programs. His research interests include formal
guarantees for distributed algorithms, notably in the context of
mobile robots.
Click Xavier Urbain - Robotic Swarms the Quest for Safety.pdf link to view the file.