Ratschan, Stefan

1. Converse Theorems for Safety and Barrier Certificates
   2017/01/14 by Ratschan, Stefan · 2 citations
   #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Efficient Solving of Quantified Inequality Constraints over the Real Numbers
   2002/11/14 by Stefan Ratschan, Ratschan, Stefan · 1 citation
   Computer Science · #Constraint Satisfaction and Optimization #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #G.1.0 #I.2.3 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Numerical Analysis (math.NA)
3. Quasi-decidability of a Fragment of the First-order Theory of Real Numbers
   2013/09/24 by Peter Franek, Franek, Peter, Stefan Ratschan +3 · 1 citation
   Computer Science · #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.CC #cs.LO