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…