TY  - RPRT
TI  - Decisiveness of Stochastic Systems and its Application to Hybrid Models
AU  - Patricia Bouyer
AU  - Thomas Brihaye
AU  - Mickael Randour
AU  - Cédric Rivière
AU  - Pierre Vandenhove
PY  - 2020
DO  - 10.4204/eptcs.326.10
UR  - https://arxiv.org/abs/2001.04347
ID  - 2001.04347
ER  -