Measurability and safety verification for stochastic hybrid systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang 0001. Measurability and safety verification for stochastic hybrid systems. In Marco Caccamo, Emilio Frazzoli, Radu Grosu, editors, Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011. pages 43-52, ACM, 2011. [doi]

This author has not been identified. Look up 'Martin Fränzle' in GoogleThis author has not been identified. Look up 'Ernst Moritz Hahn' in GoogleThis author has not been identified. Look up 'Holger Hermanns' in GoogleThis author has not been identified. Look up 'Nicolás Wolovick' in GoogleThis author has not been identified. It may be one of the following persons:

Lijun Zhang

Look up 'Lijun Zhang 0001' in Google

runs on WebDSL