Jan Ku\v{r}\'atko
Identifiers
- name variant Jan Ku\v{r}\'atko 0.60 · backfill
Papers (2)
- Factorization of Saddle-point Matrices in Dynamical Systems Optimization---Reusing Pivots math.OC · 2017 · author #1
- Combined Global and Local Search for the Falsification of Hybrid Systems cs.SY · 2014 · author #1
Mentions
Frequent Coauthors
- Stefan Ratschan 1 shared papers