5 citations · 10 across the 6 of their papers we have counts for
6 papers
Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems with Disturbances
Matthew Abate, Maxence Dutreix, Samuel Coogan
The vector field of a mixed-monotone system is decomposable via a decomposition function into increasing (cooperative) and decreasing (competitive) components, and this decompositi…
Abstraction-based Synthesis for Stochastic Systems with Omega-Regular Objectives
Maxence Dutreix, Jeongmin Huh, Samuel Coogan
This paper studies the synthesis of controllers for discrete-time, continuous state stochastic systems subject to omega-regular specifications using finite-state abstractions. We p…
A Barrier Function Approach to Finite-Time Stochastic System Verification and Control
Cesar Santoyo, Maxence Dutreix, Samuel Coogan
This paper studies the problem of enforcing safety of a stochastic dynamical system over a finite-time horizon. We use stochastic control barrier functions as a means to quantify t…
Verification and Control for Finite-Time Safety of Stochastic Systems via Barrier Functions
Cesar Santoyo, Maxence Dutreix, Samuel Coogan
This paper studies the problem of enforcing safety of a stochastic dynamical system over a finite time horizon. We use stochastic barrier functions as a means to quantify the proba…
Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems
Maxence Dutreix, Samuel Coogan
This paper addresses the problem of verifying discrete-time stochastic systems against omega-regular specifications using finite-state abstractions. Omega-regular properties allow…
Satisfiability Bounds for ω-regular Properties in Interval-valued Markov Chains
Maxence Dutreix, Samuel Coogan
We derive an algorithm to compute satisfiability bounds for arbitrary ω-regular properties in an Interval-valued Markov Chain (IMC) interpreted in the adversarial sense. IMCs gener…