Statistical verification of dynamical systems using set oriented methods - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan 0001, Geir E. Dullerud. Statistical verification of dynamical systems using set oriented methods. 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 169-178, ACM, 2015. [doi]

This author has not been identified. It may be one of the following persons:

Yu Wang

Look up 'Yu Wang' in GoogleThis author has not been identified. Look up 'Nima Roohi' in GoogleThis author has not been identified. Look up 'Matthew West' in GoogleThis author has not been identified. Look up 'Mahesh Viswanathan 0001' in GoogleThis author has not been identified. Look up 'Geir E. Dullerud' in Google

runs on WebDSL