Finite state approximation for verification of partially observable stochastic hybrid systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kendra Lesser, Meeko Oishi. Finite state approximation for verification of partially observable stochastic hybrid systems. In Antoine Girard, Sriram Sankaranarayanan, editors, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015. pages 159-168, ACM, 2015. [doi]

This author has not been identified. Look up 'Kendra Lesser' in GoogleThis author has not been identified. Look up 'Meeko Oishi' in Google

runs on WebDSL