Specifying Safety Monitors for Autonomous Systems Using Model-Checking.

Mathilde Machin, Fanny Dufoss, Jean-Paul Blanquart, Jrmie Guiochet, David Powell, Hlne Waeselynck

Browse the full SAFECOMP paper archive.