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]
No references recorded for this publication.
No citations of this publication recorded.