@misc{indiciae29238d8fde1e,
  title = {Almost-Sure Reachability in Stochastic Multi-Mode System},
  author = {Fabio Somenzi and Behrouz Touri and Ashutosh Trivedi},
  year = {2016},
  url = {https://arxiv.org/abs/1610.05412},
  note = {Source identifier: 1610.05412}
}