Ratan Lal, Pavithra Prabhakar. Hierarchical Abstractions for Reachability Analysis of Probabilistic Hybrid Systems. In 56th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2018, Monticello, IL, USA, October 2-5, 2018. pages 848-855, IEEE, 2018. [doi]
Abstract is missing.