activity
20182020
most citedA Barrier Function Approach to Finite-Time Stochastic System Verification and Control

5 citations · 10 across the 6 of their papers we have counts for

collaborators
Showing 2019 · eess.SPShow all

1 paper · 2 filters

eess.SP2019★ 2 cited

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…