@inproceedings{dblp-conf-hybrid-somenzitt18,
  title = {Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems},
  author = {Fabio Somenzi and Behrouz Touri and Ashutosh Trivedi},
  year = {2018},
  url = {https://dblp.org/rec/conf/hybrid/SomenziTT18},
  booktitle = {HSCC 2018}
}