Počet záznamů: 1
Safety Verification of Non-linear Hybrid Systems is Quasi-Semidecidable
- 1.0344069 - ÚI 2011 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Ratschan, Stefan
Safety Verification of Non-linear Hybrid Systems is Quasi-Semidecidable.
Theory and Applications of Models of Computation. Berlin: Springer, 2010 - (Kratochvíl, J.; Li, A.; Fiala, J.; Kolman, P.), s. 397-408. Lecture Notes in Computer Science, 6108. ISBN 978-3-642-13561-3. ISSN 0302-9743.
[TAMC 2010. Theory and Applications of Models of Computation Annual Conference /7./. Prague, (CZ), 07.06.2010-11.06.2010]
Grant CEP: GA ČR GC201/08/J020
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: verification * hybrid systems * decidebility
Kód oboru RIV: IN - Informatika
Citováno: 3
--- GALLARDO, M.D. - PANIZO, L. Extending model checkers for hybrid system verification: the case study of SPIN. SOFTWARE TESTING VERIFICATION & RELIABILITY. ISSN 0960-0833, SEP 2014, vol. 24, no. 6, p. 438-471. [WOS]
--- CASAGRANDE, A. - DREOSSI, T. - FABRIKOVA, J. - PIAZZA, C. epsilon-Semantics computations on biological systems. INFORMATION AND COMPUTATION. ISSN 0890-5401, AUG 2014, vol. 236, SI, p. 35-51. [WOS]
--- HAHN, E.M. - HAN, T.T. - ZHANG, L.J. Synthesis for PCTL in Parametric Markov Decision Processes. NASA FORMAL METHODS. ISSN 0302-9743, 2011, vol. 6617, p. 146-161. [WOS]
Trvalý link: http://hdl.handle.net/11104/0186379Název souboru Staženo Velikost Komentář Verze Přístup a0344069.pdf 0 198.7 KB Vydavatelský postprint vyžádat
Počet záznamů: 1