Reference

2018
Almost-Sure Reachability in Stochastic Multi-Mode System
HSCC 2018: International Conference on Hybrid Systems: Computation and Control

Abstract

BibTeX

@string{HSCC = "International Conference on Hybrid Systems: Computation and Control (HSCC)"}
@inproceedings{almostsure-hscc18,
  author = {Fabio Somenzi and Behrouz Touri and Ashutosh Trivedi},
  title = {Almost-Sure Reachability in Stochastic Multi-Mode System},
  booktitle = HSCC,
  year = {2018},
}