Specifying Safety Monitors for Autonomous Systems using Model-checking

No ratings

Presented at SafeComp 2014 by

Hélène Waeselynck

Jean-paul Blanquart

Mathilde Machin

Jeremie Guiochet

N/A