Accéder directement au contenu

Matthieu Roy

3
Documents

Publications

helene-waeselynck
Image document

SMOF - A Safety MOnitoring Framework for Autonomous Systems

 Mathilde Machin , Jérémie Guiochet , Hélène Waeselynck , Jean-Paul Blanquart , Matthieu Roy
IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2018, 48 (5), pp.702-715. ⟨10.1109/TSMC.2016.2633291⟩
Article dans une revue hal-01394139v1
Image document

Model-checking and Game Theory for the Synthesis of Safety Rules

 Mathilde Machin , Fanny Dufossé , Jérémie Guiochet , David Powell , Matthieu Roy
IEEE International Symposium on High Assurance Systems Engineering (HASE 2015), Jan 2015, Daytona Beach, United States
Communication dans un congrès hal-01207657v1
Image document

Model-Checking and Game theory for Synthesis of Safety Rules

 Mathilde Machin , Fanny Dufossé , Jérémie Guiochet , David Powell , Matthieu Roy
2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, United States. pp.36-43, ⟨10.1109/HASE.2015.15⟩
Communication dans un congrès hal-01164981v1