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

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

Samuel Coogan, Maxence Dutreix

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

93C55: Discrete-time control/observation systems

93E03: Stochastic systems in control theory (general)

93B03: Attainable sets, reachability