TY  - RPRT
TI  - Satisfiability Bounds for ω-regular Properties in Interval-valued Markov Chains
AU  - Maxence Dutreix
AU  - Samuel Coogan
PY  - 2018
UR  - https://arxiv.org/abs/1809.06352
ID  - 1809.06352
ER  -