Basket

0423370 - ÚI 2014 RIV US eng J - Journal Article
Ratschan, Stefan
Safety verification of non-linear hybrid systems is quasi-decidable.
Formal Methods in System Design. Roč. 44, č. 1 (2014), s. 71-90. ISSN 0925-9856. E-ISSN 1572-8102
R&D Projects: GA ČR GCP202/12/J060
Institutional support: RVO:67985807
Keywords : hybrid systems * safety verification * decidability * robustness
Subject RIV: IN - Informatics, Computer Science
Impact factor: 0.875, year: 2014
Permanent Link: http://hdl.handle.net/11104/0229467