Stefan Ratschan

Available identifiers

zbMath Open ratschan.stefanMaRDI QIDQ389833

List of research outcomes

Publication	Date of Publication	Type
Computation of feedback control laws based on switched tracking of demonstrations	2025-01-22	Paper
Deciding predicate logical theories of real-valued functions	2024-12-03	Paper
Railway scheduling using Boolean satisfiability modulo simulations	2023-08-17	Paper
SAT Modulo Differential Equation Simulations	2022-11-09	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
Efficient solving of quantified inequality constraints over the real numbers	2017-07-12	Paper
Convergent approximate solving of first-order constraints by approximate quantifiers	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
Solving existentially quantified constraints with one equality and arbitrarily many inequalities	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

This page was built for person: Stefan Ratschan