Safety Trigger Conditions for Critical Autonomous Systems. - Amina Mekki-Mokhtar; Jean-Paul Blanquart; Jérémie Guiochet; David Powell; Matthieu Roy (PRDC, 2012)

Processus d'identification de contraintes de sécurité innocuité vérifiables en ligne pour des systèmes autonomes critiques. (Specification of online verifiable safety constraints for critical autonomous systems). - Amina Mekki-Mokhtar (2012)