Search results
- 1.0449388 - ÚI 2017 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR GCP202/12/J060; GA MŠMT OC10048; GA ČR GA15-14484S
Institutional support: RVO:67985807
Keywords : decidability * decision procedure * real numbers
Subject RIV: IN - Informatics, Computer Science
Impact factor: 1.636, year: 2016
Permanent Link: http://hdl.handle.net/11104/0250958File Download Size Commentary Version Access a0449388.pdf 9 702.4 KB Publisher’s postprint require - 2.0431141 - ÚI 2015 RIV US eng J - Journal Article
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
R&D Projects: GA ČR GCP202/12/J060
Institutional support: RVO:67985807
Keywords : computational topology * interval computation
Subject RIV: BA - General Mathematics
Impact factor: 1.464, year: 2015
http://www.ams.org/journals/mcom/0000-000-00/S0025-5718-2014-02877-9/
Permanent Link: http://hdl.handle.net/11104/0235754File Download Size Commentary Version Access a0431141.pdf 16 373.1 KB Publisher’s postprint require - 3.0430462 - ÚI 2015 RIV CH eng J - Journal Article
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
R&D Projects: GA ČR GCP202/12/J060
Grant - others:GA ČR(CZ) GA13-10660S
Institutional support: RVO:67985807
Keywords : constraint solving * decision procedures * interval computation
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0235395 - 4.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