Safety Verification for Probabilistic Hybrid Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lijun Zhang 0001, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn. Safety Verification for Probabilistic Hybrid Systems. Eur. J. Control, 18(6):572-587, 2012. [doi]

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

Lijun Zhang

Look up 'Lijun Zhang 0001' in GoogleThis author has not been identified. Look up 'Zhikun She' in GoogleThis author has not been identified. Look up 'Stefan Ratschan' in GoogleThis author has not been identified. Look up 'Holger Hermanns' in GoogleThis author has not been identified. Look up 'Ernst Moritz Hahn' in Google

runs on WebDSL