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

DOI10.1109/TAC.2020.3014142zbMath1467.93290arXiv1903.02191OpenAlexW3047472342MaRDI QIDQ5002111

Maxence Dutreix, Samuel Coogan

Publication date: 26 July 2021

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1903.02191

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Stochastic systems in control theory (general) (93E03) Attainable sets, reachability (93B03)

Related Items (5)

Abstraction-based synthesis for stochastic systems with omega-regular objectives ⋮ Symbolic control for stochastic systems via finite parity games ⋮ Distributionally Robust Strategy Synthesis for Switched Stochastic Systems ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey ⋮ Robustly complete finite-state abstractions for verification of stochastic systems

This page was built for publication: Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems