TY  - RPRT
TI  - Almost-Sure Reachability in Stochastic Multi-Mode System
AU  - Fabio Somenzi
AU  - Behrouz Touri
AU  - Ashutosh Trivedi
PY  - 2016
UR  - https://arxiv.org/abs/1610.05412
ID  - 1610.05412
ER  -