TY  - RPRT
TI  - Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems
AU  - Maxence Dutreix
AU  - Samuel Coogan
PY  - 2020
UR  - https://arxiv.org/abs/1903.02191
ID  - 1903.02191
ER  -