| Combined global and local search for the falsification of hybrid systems J Kuřátko, S Ratschan Formal Modeling and Analysis of Timed Systems: 12th International Conference …, 2014 | 28 | 2014 |
| Solving underdetermined boundary value problems by sequential quadratic programming J Kuratko, S Ratschan arXiv preprint arXiv:1512.09078, 2015 | 3 | 2015 |
| Safety verification by interval based quantified constraint solving P Franek, J Kurátko, S Ratschan Proc. SCAN, 107, 2016 | 2 | 2016 |
| Solving reachability problems by a scalable constrained optimization method J Kuřátko, S Ratschan Optimization and Engineering 21 (1), 215-239, 2020 | 1 | 2020 |
| Factorization of saddle-point matrices in dynamical systems optimization—reusing pivots J Kuřátko Linear Algebra and its Applications 566, 61-85, 2019 | 1 | 2019 |
| Falsification of Hybrid Systems with Non-linear Dynamics Using Optimization and Sensitivity Analysis J Kurátko, S Ratschan ETAPS 2013, 2013 | 1 | 2013 |
| Numerical Optimization Methods for the Falsification of Hybrid Dynamical Systems J Kuřátko Univerzita Karlova, Matematicko-fyzikální fakulta, 2020 | | 2020 |
| Falsification of Hybrid Dynamical Systems Using Global Optimization Techniques J Kurátko, S Ratschan XII GLOBAL OPTIMIZATION WORKSHOP, 133-136, 2014 | | 2014 |
| Global Multiple Shooting for Hybrid Dynamical Systems J Kurátko, S Ratschan ECMI 2014 28 Mini-Symposium on Optimization and Optimization-based Control …, 2014 | | 2014 |
| Analýza výpočtu největšího společného dělitele polynomů J Kuřátko Univerzita Karlova, Matematicko-fyzikální fakulta, 2012 | | 2012 |
| An improvement of Euclid's algorithm J Zítko, J Kuřátko Programs and Algorithms of Numerical Mathematics, 251-260, 2010 | | 2010 |
| Interpolace pomocí kubických splinů J Kuřátko Univerzita Karlova, Matematicko-fyzikální fakulta, 2009 | | 2009 |
| A Scalable Method for Finding Flaws in the Design of Technical Systems that Are Modelled by Ordinary Differential Equations J Kuˇratko, S Ratschan | | |
Stefan RatschanCzech Academy of SciencesEmail confirmado em cs.cas.cz
