Safety Verification for Probabilistic Hybrid Systems

Zhang L



Název
Safety Verification for Probabilistic Hybrid Systems
Autor
lupa Zhang L.
Spoluautoři
lupa She Z.
lupa Ratschan Stefan UIVT-O - Ústav informatiky AV ČR, v. v. i.
lupa Hermanns H.
lupa Hahn E.M.
Zdroj.dok.
lupa CAV 2010. Computer Aided Verification. S. 196-211. - Berlin : Springer, 2010 / Touili T. ; Cook B. ; Jackson P.
Vyd.údaje
16 s.
Druh dok.
C
Jazyk dok.
eng
Země vyd.
DE
Klíč.slova
verification * hybrid dynamical systems
Databáze
zc - Konferenční příspěvek (zahraniční konference)
Trvalý link
http://hdl.handle.net/11104/0191084