Papers and Talks

Jan Kuřátko
Factorization of Saddle-point Matrices in Dynamical Systems Optimization---Reusing Pivots
Paper is submitted
Files: paper on arXiv

Jan Kuřátko, Stefan Ratschan
Solving Reachability Problems by a Scalable Constrained Optimization Method
Paper is submitted
Files: paper on arXiv

Jan Kuřátko, Stefan Ratschan
Combined Global and Local Search for the Falsification of Hybrid Systems
Paper published in the proceedings of Formal Modelling and Analysis of Timed Systems (FORMATS 2014)
Files: paper in LNCS, paper - extended version, paper - extended version on arXiv.org

Jan Kuřátko, Jan Zítko
An improvement of Euclid's algorithm
Paper published in the proceedings of Programy a algoritmy numerické matematiky 15 (PANM 2010)
Files: paper (pp. 251--260)