Hierarchical Abstractions for Reachability Analysis of Probabilistic Hybrid Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Ratan Lal' in GoogleThis author has not been identified. Look up 'Pavithra Prabhakar' in Google

runs on WebDSL