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.0431141 - ÚI 2015 RIV US eng J - Článek v odborném periodiku
Franek, Peter - Ratschan, Stefan
Effective Topological Degree Computation Based on Interval Arithmetic.
Mathematics of Computation. Roč. 84, č. 293 (2015), s. 1265-1290. ISSN 0025-5718. E-ISSN 1088-6842
Grant CEP: GA ČR GCP202/12/J060
Institucionální podpora: RVO:67985807
Klíčová slova: computational topology * interval computation
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.464, rok: 2015
http://www.ams.org/journals/mcom/0000-000-00/S0025-5718-2014-02877-9/
Trvalý link: http://hdl.handle.net/11104/0235754Název souboru Staženo Velikost Komentář Verze Přístup a0431141.pdf 16 373.1 KB Vydavatelský postprint vyžádat - 3.0430462 - ÚI 2015 RIV CH eng J - Článek v odborném periodiku
Hladík, M. - Ratschan, Stefan
Efficient Solution of a Class of Quantified Constraints with Quantifier Prefix Exists-Forall.
Mathematics in Computer Science. Roč. 8, 3-4 (2014), s. 329-340. ISSN 1661-8289
Grant CEP: GA ČR GCP202/12/J060
Grant ostatní: GA ČR(CZ) GA13-10660S
Institucionální podpora: RVO:67985807
Klíčová slova: constraint solving * decision procedures * interval computation
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0235395 - 4.0423370 - ÚI 2014 RIV US eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR GCP202/12/J060
Institucionální podpora: RVO:67985807
Klíčová slova: hybrid systems * safety verification * decidability * robustness
Kód oboru RIV: IN - Informatika
Impakt faktor: 0.875, rok: 2014
Trvalý link: http://hdl.handle.net/11104/0229467