Maxence Dutreix

14 papers C 1Journal 8Unranked 4

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	A barrier function approach to finite-time stochastic system verification and control. Autom. Cesar Santoyo, Maxence Dutreix, Samuel Coogan
2021	J	`jnl`	Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems. IEEE Trans. Autom. Control. Maxence Dutreix, Samuel Coogan
2021	J	`jnl`	Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems With Disturbances. IEEE Control. Syst. Lett. Matthew Abate, Maxence Dutreix, Samuel Coogan
2020	J	`jnl`	Abstraction-based Synthesis for Stochastic Systems with Omega-Regular Objectives. CoRR Maxence Dutreix, Jeongmin Huh, Samuel Coogan
2020	C	`conf`	Interval-valued Markov Chain Abstraction of Stochastic Systems using Barrier Functions. ACC Maxence Dutreix, Cesar Santoyo, Matthew Abate, Samuel Coogan
2020	J	`jnl`	Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems with Disturbances. CoRR Matthew Abate, Maxence Dutreix, Samuel Coogan
2020	—	`—`	Verification and synthesis for stochastic systems with temporal logic specifications. Maxence Dutreix
2019	J	`jnl`	A Barrier Function Approach to Finite-Time Stochastic System Verification and Control. CoRR Cesar Santoyo, Maxence Dutreix, Samuel Coogan
2019	—	`conf`	Verification and Control for Finite-Time Safety of Stochastic Systems via Barrier Functions. CCTA Cesar Santoyo, Maxence Dutreix, Samuel Coogan
2019	J	`jnl`	Verification and Control for Finite-Time Safety of Stochastic Systems via Barrier Functions. CoRR Cesar Santoyo, Maxence Dutreix, Samuel Coogan
2018	—	`conf`	Efficient verification for stochastic mixed monotone systems. ICCPS Maxence Dutreix, Samuel Coogan
2018	—	`conf`	Satisfiability Bounds for co-regular Properties in Interval-valued Markov Chains. CDC Maxence Dutreix, Samuel Coogan
2018	J	`jnl`	Satisfiability Bounds for ω-regular Properties in Interval-valued Markov Chains. CoRR Maxence Dutreix, Samuel Coogan
2017	—	`conf`	Quantile forecasts for traffic predictive control. CDC Maxence Dutreix, Samuel Coogan