TY  - RPRT
TI  - Farkas certificates and minimal witnesses for probabilistic reachability constraints
AU  - Florian Funke
AU  - Simon Jantsch
AU  - Christel Baier
PY  - 2020
UR  - https://arxiv.org/abs/1910.10636
ID  - 1910.10636
ER  -