RT DW A1 Bouvier, Jean-Baptiste. T1 Guaranteed Resilience of Autonomous Systems to Partial Loss of Control Authority over Actuators