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

Number of the records: 1

1.

SYSNO	0344069
Title	Safety Verification of Non-linear Hybrid Systems is Quasi-Semidecidable
Author(s)	Ratschan, Stefan (UIVT-O)_{SAI, RID, ORCID}
Source Title	Theory and Applications of Models of Computation. S. 397-408. - Berlin : Springer, 2010 / Kratochvíl J. ; Li A. ; Fiala J. ; Kolman P.
Conference	TAMC 2010. Theory and Applications of Models of Computation Annual Conference /7./, Prague,, 07.06.2010-11.06.2010
Document Type	Konferenční příspěvek (zahraniční konf.)
Grant	GC201/08/J020 GA ČR - Czech Science Foundation (CSF)
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Language	eng
Country	DE
Keywords	verification * hybrid systems * decidebility
Permanent Link	http://hdl.handle.net/11104/0186379

	File	Download	Size	Commentary	Version	Access
	a0344069.pdf	0	198.7 KB		Publisher’s postprint	require

Number of the records: 1