Safety Verification for Probabilistic Hybrid Systems - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn. Safety Verification for Probabilistic Hybrid Systems. In Tayssir Touili, Byron Cook, Paul Jackson, editors, Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings. Volume 6174 of Lecture Notes in Computer Science, pages 196-211, Springer, 2010. [doi]

The following publications are possibly variants of this publication:

Measurability and safety verification for stochastic hybrid systemsMartin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang 0001. hybrid 2011: 43-52 [doi]

Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction RefinementStefan Ratschan, Zhikun She. hybrid 2005: 573-589 [doi]

runs on WebDSL