TY  - RPRT
TI  - Decisiveness of Stochastic Systems and its Application to Hybrid Models (Full Version)
AU  - Patricia Bouyer
AU  - Thomas Brihaye
AU  - Mickael Randour
AU  - Cédric Rivière
AU  - Pierre Vandenhove
PY  - 2022
UR  - https://arxiv.org/abs/2009.13152
ID  - 2009.13152
ER  -