TY  - RPRT
TI  - StocHy: automated verification and synthesis of stochastic processes
AU  - Nathalie Cauchi
AU  - Kurt Degiorgio
AU  - Alessandro Abate
PY  - 2019
UR  - https://arxiv.org/abs/1901.10287
ID  - 1901.10287
ER  -