Safety Verification for Probabilistic Hybrid Systems.

Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn

Browse the full CAV paper archive.