Safety Verification of Non-linear Hybrid Systems is Quasi-Semidecidable

Ratschan Stefan



Název
Safety Verification of Non-linear Hybrid Systems is Quasi-Semidecidable
Autor
lupa Ratschan Stefan UIVT-O - Ústav informatiky AV ČR, v. v. i.
Zdroj.dok.
lupa Theory and Applications of Models of Computation. S. 397-408. - Berlin : Springer, 2010 / Kratochvíl J. ; Li A. ; Fiala J. ; Kolman P.
Vyd.údaje
12 s.
Druh dok.
C
Jazyk dok.
eng
Země vyd.
DE
Klíč.slova
verification * hybrid systems * decidebility
Databáze
zc - Konferenční příspěvek (zahraniční konference)
Trvalý link
http://hdl.handle.net/11104/0186379