@misc {IOPORT.70780887,
    author       = {Amin, Saurabh and Abate, Alessandro and Prandini, Maria and Lygeros, John and Sastry, Shankar},
    title        = {Reachability analysis for controlled discrete time stochastic hybrid systems},
    howpublished = {HSCC, 49-63 (2006).},
    year         = {2006},
    doi          = {10.1007/11730637_7},
    identifier   = {70780887},
}