Publikation
Titel
Measurability and Safety Verification for Stochastic Hybrid Systems
Publikationsart
Tagungsbeitrag
Alle Autoren
Fränzle, Martin; Hahn, Ernst Moritz Hahn; Hermanns, Holgers; Wolovick, Nicolas; Zhang, Lijun
Buchtitel
Hybrid Systems: Computation and Control, 13th International Conference, HSCC 2011, Chicago, USA, Proceedings
Erscheinungsdatum
2011
