Maxence Dutreix

1. Verification and Control for Finite-Time Safety of Stochastic Systems\n via Barrier Functions
   2019/05/28 by Cesar Santoyo, Santoyo, Cesar, Maxence Dutreix +3 · 2 citations
   Engineering · Computer Science · #Advanced Control Systems Optimization #Formal Methods in Verification #Fault Detection and Control Systems