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)