Details for the publication 0001SRHH12.

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