The following pages link to Maxence Dutreix (Q2158879):
Displayed 3 items.
- Abstraction-based synthesis for stochastic systems with omega-regular objectives (Q2158881) (← links)
- A barrier function approach to finite-time stochastic system verification and control (Q2663942) (← links)
- Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems (Q5002111) (← links)