Synthesis of Safety Rules for Active Monitoring: Application to an Airport Light Measurement Robot. - Lola Masson; Jérémie Guiochet; Hélène Waeselynck; Augustin Desfosses; Marc Laval (IRC, 2017)