TY  - RPRT
TI  - Qualitative Analysis of VASS-Induced MDPs
AU  - Parosh Aziz Abdulla
AU  - Radu Ciobanu
AU  - Richard Mayr
AU  - Arnaud Sangnier
AU  - Jeremy Sproston
PY  - 2016
UR  - https://arxiv.org/abs/1512.08824
ID  - 1512.08824
ER  -