Výsledky vyhledávání
- 1.0449388 - ÚI 2017 RIV NL eng J - Článek v odborném periodiku
Franek, Peter - Ratschan, Stefan - Zgliczynski, P.
Quasi-Decidability of a Fragment of the First-Order Theory of Real Numbers.
Journal of Automated Reasoning. Roč. 57, č. 2 (2016), s. 157-185. ISSN 0168-7433. E-ISSN 1573-0670
Grant CEP: GA ČR GCP202/12/J060; GA MŠMT OC10048; GA ČR GA15-14484S
Institucionální podpora: RVO:67985807
Klíčová slova: decidability * decision procedure * real numbers
Kód oboru RIV: IN - Informatika
Impakt faktor: 1.636, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0250958Název souboru Staženo Velikost Komentář Verze Přístup a0449388.pdf 9 702.4 KB Vydavatelský postprint vyžádat - 2.0442870 - ÚI 2016 RIV NL eng J - Článek v odborném periodiku
Dzetkulič, Tomáš
Rigorous Integration of Non-Linear Ordinary Differential Equations in Chebyshev Basis.
Numerical Algorithms. Roč. 69, č. 1 (2015), s. 183-205. ISSN 1017-1398. E-ISSN 1572-9265
Grant CEP: GA MŠMT OC10048; GA ČR GD201/09/H057
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Initial value problem * Rigorous integration * Taylor model * Chebyshev basis
Kód oboru RIV: IN - Informatika
Impakt faktor: 1.366, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0245684 - 3.0388817 - ÚI 2013 RIV GB eng J - Článek v odborném periodiku
Zhang, J. - She, Z. - Ratschan, Stefan - Hermanns, H. - Hahn, E.M.
Safety Verification for Probabilistic Hybrid Systems.
European Journal of Control. Roč. 18, č. 6 (2012), s. 572-587. ISSN 0947-3580. E-ISSN 1435-5671
Grant CEP: GA MŠMT OC10048; GA ČR GC201/08/J020
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: model checking * hybrid systems * formal verification
Kód oboru RIV: IN - Informatika
Impakt faktor: 1.250, rok: 2012
Trvalý link: http://hdl.handle.net/11104/0217724