Maxence Dutreix

According to our database, Maxence Dutreix authored at least 11 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems.

Maxence Dutreix, Samuel Coogan

IEEE Trans. Autom. Control., 2021

Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems With Disturbances.

Matthew Abate, Maxence Dutreix, Samuel Coogan

IEEE Control. Syst. Lett., 2021

A barrier function approach to finite-time stochastic system verification and control.

Cesar Santoyo, Maxence Dutreix, Samuel Coogan

Autom., 2021

2020

Verification and synthesis for stochastic systems with temporal logic specifications.

Maxence Dutreix

PhD thesis, 2020

Abstraction-based Synthesis for Stochastic Systems with Omega-Regular Objectives.

Maxence Dutreix, Jeongmin Huh, Samuel Coogan

CoRR, 2020

Interval-valued Markov Chain Abstraction of Stochastic Systems using Barrier Functions.

Maxence Dutreix, Cesar Santoyo, Matthew Abate, Samuel Coogan

Proceedings of the 2020 American Control Conference, 2020

2019

Verification and Control for Finite-Time Safety of Stochastic Systems via Barrier Functions.

Cesar Santoyo, Maxence Dutreix, Samuel Coogan

Proceedings of the 2019 IEEE Conference on Control Technology and Applications, 2019

2018

Satisfiability Bounds for ω-regular Properties in Interval-valued Markov Chains.

Maxence Dutreix, Samuel Coogan

CoRR, 2018

Efficient verification for stochastic mixed monotone systems.

Maxence Dutreix, Samuel Coogan

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Satisfiability Bounds for co-regular Properties in Interval-valued Markov Chains.

Maxence Dutreix, Samuel Coogan

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

Quantile forecasts for traffic predictive control.

Maxence Dutreix, Samuel Coogan

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017