TY  - RPRT
TI  - Verifying Reachability Properties in Markov Chains via Incremental Induction
AU  - Elizabeth Polgreen
AU  - Martin Brain
AU  - Martin Fraenzle
AU  - Alessandro Abate
PY  - 2019
UR  - https://arxiv.org/abs/1909.08017
ID  - 1909.08017
ER  -