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

 

Projekt

  • MoVeS
  •  

    OFFIS Autoren