Stefan Ratschan

Identifiers

• name variant Stefan Ratschan 0.60 · backfill

Papers (10)

1. Simulation Based Computation of Certificates for Safety of Hybrid Dynamical Systems cs.SY · 2017 · author #1
2. Converse Theorems for Safety and Barrier Certificates cs.SY · 2017 · author #1
3. Solving Reachability Problems by a Scalable Constrained Optimization Method math.OC · 2016 · author #2
4. Solving Underdetermined Boundary Value Problems By Sequential Quadratic Programming math.OC · 2015 · author #2
5. Combined Global and Local Search for the Falsification of Hybrid Systems cs.SY · 2014 · author #2
6. Efficient Solution of a Class of Quantified Constraints with Quantifier Prefix Exists-Forall cs.LO · 2013 · author #2
7. Quasi-decidability of a Fragment of the First-order Theory of Real Numbers cs.CC · 2013 · author #2
8. Effective Topological Degree Computation Based on Interval Arithmetic cs.CG · 2012 · author #2
9. Convergent Approximate Solving of First-Order Constraints by Approximate Quantifiers cs.LO · 2001 · author #1
10. Solving Composed First-Order Constraints from Discrete-Time Robust Control cs.LO · 2001 · author #1

Mentions

• 1707.00879 #1 · arxiv_oai · confidence 0.70 Stefan Ratschan
• 1701.03948 #1 · arxiv_oai · confidence 0.70 Stefan Ratschan
• 1406.6332 #2 · arxiv_oai · confidence 0.70 Stefan Ratschan
• 1312.6155 #2 · arxiv_oai · confidence 0.70 Stefan Ratschan
• 1406.6332 #2 · backfill · confidence 0.70 Stefan Ratschan
• 1312.6155 #2 · backfill · confidence 0.70 Stefan Ratschan
• 1309.6280 #2 · backfill · confidence 0.70 Stefan Ratschan
• 1207.6331 #2 · backfill · confidence 0.70 Stefan Ratschan

Frequent Coauthors

• Jan Kuratko 2 shared papers
• Peter Franek 2 shared papers
• Jan Ku\v{r}\'atko 1 shared papers
• Luc Jaulin 1 shared papers
• Milan Hlad\'ik 1 shared papers
• Piotr Zgliczynski 1 shared papers