AbatePLS08'

BibTeX

@article{DBLP:journals/automatica/AbatePLS08,
  author    = {Alessandro Abate and
               Maria Prandini and
               John Lygeros and
               Shankar Sastry},
  title     = {Probabilistic reachability and safety for controlled discrete
               time stochastic hybrid systems},
  journal   = {Automatica},
  volume    = {44},
  number    = {11},
  year      = {2008},
  pages     = {2724-2734},
  ee        = {http://dx.doi.org/10.1016/j.automatica.2008.03.027},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}