Stefan Ratschan

Available identifiers

zbMath Open ratschan.stefanMaRDI QIDQ389833

List of research outcomes

Publication	Date of Publication	Type
Railway scheduling using Boolean satisfiability modulo simulations	2023-08-17	Paper
Fast three-valued abstract bit-vector arithmetic	2022-07-08	Paper
Solving reachability problems by a scalable constrained optimization method	2020-03-04	Paper
Converse Theorems for Safety and Barrier Certificates	2018-09-18	Paper
Simulation based computation of certificates for safety of dynamical systems	2017-12-01	Paper
Quasi-decidability of a fragment of the first-order theory of real numbers	2017-08-17	Paper
Convergent approximate solving of first-order constraints by approximate quantifiers	2017-07-12	Paper
Efficient solving of quantified inequality constraints over the real numbers	2017-07-12	Paper
Solving Underdetermined Boundary Value Problems By Sequential Quadratic Programming	2015-12-30	Paper
Combined Global and Local Search for the Falsification of Hybrid Systems	2015-08-06	Paper
Effective topological degree computation based on interval arithmetic	2015-03-19	Paper
Efficient solution of a class of quantified constraints with quantifier prefix exists-forall	2014-11-27	Paper
Safety verification of non-linear hybrid systems is quasi-decidable	2014-06-30	Paper
Safety verification for probabilistic hybrid systems	2014-01-21	Paper
Incremental Computation of Succinct Abstractions for Hybrid Systems	2011-10-07	Paper
Satisfiability of Systems of Equations of Real Analytic Functions Is Quasi-decidable	2011-08-17	Paper
Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions	2011-03-21	Paper
Safety Verification of Non-linear Hybrid Systems Is Quasi-Semidecidable	2010-06-17	Paper
Principles and Practice of Constraint Programming – CP 2003	2010-03-02	Paper
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate	2009-07-07	Paper
Constraints for Continuous Reachability in the Verification of Hybrid Systems	2009-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q5457277	2008-04-14	Paper
Language-Based Abstraction Refinement for Hybrid System Verification	2008-04-04	Paper
GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS	2007-03-13	Paper
Automated Technology for Verification and Analysis	2006-10-10	Paper
Hybrid Systems: Computation and Control	2005-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4808717	2004-08-12	Paper
Set computation for nonlinear control	2004-03-15	Paper
Search heuristics for box decomposition methods	2003-03-10	Paper
Approximate quantified constraint solving by cylindrical box decomposition	2002-07-08	Paper
Quantified constraints under perturbation	2002-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q4520808	2001-02-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Stefan Ratschan