Safety Verification for Probabilistic Hybrid Systems

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

Research output: Contribution to journalJournal articleResearchpeer-review

Fingerprint

Dive into the research topics of 'Safety Verification for Probabilistic Hybrid Systems'. Together they form a unique fingerprint.

Computer Science