Dutreix, Maxence

1. A Barrier Function Approach to Finite-Time Stochastic System\n Verification and Control
   2019/09/09 by Cesar Santoyo, Maxence Dutreix, Santoyo, Cesar +3 · 13 citations
   Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #Fault Detection and Control Systems #Formal Methods in Verification #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Verification and Control for Finite-Time Safety of Stochastic Systems\n via Barrier Functions
   2019/05/28 by Cesar Santoyo, Maxence Dutreix, Santoyo, Cesar +3 · 2 citations
   Engineering · Computer Science · #Advanced Control Systems Optimization #Formal Methods in Verification #Fault Detection and Control Systems
3. Abstraction-based Synthesis for Stochastic Systems with Omega-Regular Objectives
   2020/01/25 by Dutreix, Maxence, Huh, Jeongmin, Coogan, Samuel · 2 citations
   #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering