Stefan Ratschan

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 20

Top Topics

Boolean Satisfiability

Ordinary Differential Equations

Top Venues

Math. Comput. Sci.

Publications

Tomás Kolárik, Stefan Ratschan, Pavel Surynek
Multi-Agent Path Finding with Continuous Time Using SAT Modulo Linear Real Arithmetic. ICAART (1) (2024)
Tomás Kolárik, Stefan Ratschan, Pavel Surynek
Multi-Agent Path Finding with Continuous Time Using SAT Modulo Linear Real Arithmetic. CoRR (2023)
Jirí Fejlek, Stefan Ratschan
LQR-trees with Sampling Based Exploration of the State Space. CoRR (2023)
Enrico Lipparini, Stefan Ratschan
Satisfiability of Non-linear Transcendental Arithmetic as a Certificate Search Problem. NFM (2023)
Tomás Kolárik, Stefan Ratschan
Railway Scheduling Using Boolean Satisfiability Modulo Simulations. FM (2023)
Stefan Ratschan
Deciding Predicate Logical Theories Of Real-Valued Functions. MFCS (2023)
Stefan Ratschan
Deciding Predicate Logical Theories of Real-Valued Functions. CoRR (2023)
Jirí Fejlek, Stefan Ratschan
LQR-Trees with Sampling Based Exploration of the State Space. IROS (2023)
Enrico Lipparini, Stefan Ratschan
Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem. CoRR (2023)
Jirí Fejlek, Stefan Ratschan
Computing Funnels Using Numerical Optimization Based Falsifiers. ICRA (2022)
Jan Onderka, Stefan Ratschan
Fast Three-Valued Abstract Bit-Vector Arithmetic. VMCAI (2022)
Tomás Kolárik, Stefan Ratschan
Railway Scheduling Using Boolean Satisfiability Modulo Simulations. CoRR (2022)
Jirí Fejlek, Stefan Ratschan
Computing Funnels Using Numerical Optimization Based Falsifiers. CoRR (2021)
Tomás Kolárik, Stefan Ratschan
SAT Modulo Differential Equation Simulations. TAP@STAF (2020)
Jirí Fejlek, Stefan Ratschan
Computation of Stabilizing and Relatively Optimal Feedback Control Laws Based on Demonstrations. CoRR (2020)
Stefan Ratschan
Converse Theorems for Safety and Barrier Certificates. IEEE Trans. Autom. Control. 63 (8) (2018)
Stefan Ratschan
Simulation Based Computation of Certificates for Safety of Dynamical Systems. FORMATS (2017)
Stefan Ratschan
Simulation Based Computation of Certificates for Safety of Dynamical Systems. CoRR (2017)
Stefan Ratschan
A Robust Finite-Time Converse Theorem for Inductive Safety Certificates of Ordinary Differential Equations. CoRR (2017)
Peter Franek, Stefan Ratschan, Piotr Zgliczynski
Quasi-decidability of a Fragment of the First-Order Theory of Real Numbers. J. Autom. Reason. 57 (2) (2016)
Peter Franek, Stefan Ratschan
Effective topological degree computation based on interval arithmetic. Math. Comput. 84 (293) (2015)
Jan Kurátko, Stefan Ratschan
Combined Global and Local Search for the Falsification of Hybrid Systems. CoRR (2014)
Jan Kurátko, Stefan Ratschan
Combined Global and Local Search for the Falsification of Hybrid Systems. FORMATS (2014)
Milan Hladík, Stefan Ratschan
Efficient Solution of a Class of Quantified Constraints with Quantifier Prefix Exists-Forall. Math. Comput. Sci. 8 (3-4) (2014)
Stefan Ratschan
Safety verification of non-linear hybrid systems is quasi-decidable. Formal Methods Syst. Des. 44 (1) (2014)
Peter Franek, Stefan Ratschan, Piotr Zgliczynski
Quasi-decidability of a Fragment of the First-order Theory of Real Numbers. CoRR (2013)
Milan Hladík, Stefan Ratschan
Efficient Solution of a Class of Quantified Constraints with Quantifier Prefix Exists-Forall. CoRR (2013)
Peter Franek, Stefan Ratschan
Effective Topological Degree Computation Based on Interval Arithmetic CoRR (2012)
Stefan Ratschan, Thomas Sturm
Foreword. Math. Comput. Sci. 6 (4) (2012)
Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn
Safety Verification for Probabilistic Hybrid Systems. Eur. J. Control 18 (6) (2012)
Stefan Ratschan
Applications of Quantified Constraint Solving over the Reals - Bibliography CoRR (2012)
Peter Franek, Stefan Ratschan, Piotr Zgliczynski
Satisfiability of Systems of Equations of Real Analytic Functions Is Quasi-decidable. MFCS (2011)
Tomás Dzetkulic, Stefan Ratschan
Incremental Computation of Succinct Abstractions for Hybrid Systems. FORMATS (2011)
Georgios Fainekos, Eric Goubault, Sylvie Putot, Stefan Ratschan
Foreword. Math. Comput. Sci. 5 (4) (2011)
Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn
Safety Verification for Probabilistic Hybrid Systems. CAV (2010)
Stefan Ratschan
Safety Verification of Non-linear Hybrid Systems Is Quasi-Semidecidable. TAMC (2010)
Stefan Ratschan, Zhikun She
Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions. SIAM J. Control. Optim. 48 (7) (2010)
Tomás Dzetkulic, Stefan Ratschan
How to Capture Hybrid Systems Evolution Into Slices of Parallel Hyperplanes. ADHS (2009)
Stefan Ratschan
Symbolic-numeric problems in the automatic analysis and verification of cyber-physical systems. SNC (2009)
Stefan Ratschan, Jan-Georg Smaus
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate. TAP@TOOLS (2009)
Stefan Ratschan, Zhikun She
Recursive and Backward Reasoning in the Verification on Hybrid Systems. ICINCO-SPSMC (2008)
Martin Fränzle, Christian Herde, Tino Teige, Stefan Ratschan, Tobias Schubert
Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure. J. Satisf. Boolean Model. Comput. 1 (3-4) (2007)
Stefan Ratschan, Zhikun She
Safety verification of hybrid systems by constraint propagation-based abstraction refinement. ACM Trans. Embed. Comput. Syst. 6 (1) (2007)
Felix Klaedtke, Stefan Ratschan, Zhikun She
Language-Based Abstraction Refinement for Hybrid System Verification. VMCAI (2007)
Werner Damm, Guilherme Pinto, Stefan Ratschan
Guaranteed Termination in the Verification of Ltl Properties of Non-linear Robust Discrete Time Hybrid Systems. Int. J. Found. Comput. Sci. 18 (1) (2007)
Stefan Ratschan
Efficient solving of quantified inequality constraints over the real numbers. ACM Trans. Comput. Log. 7 (4) (2006)
Stefan Ratschan, Jan-Georg Smaus
Verification-Integrated Falsification of non-Deterministic Hybrid Systems. ADHS (2006)
Stefan Ratschan, Zhikun She
Constraints for Continuous Reachability in the Verification of Hybrid Systems. AISC (2006)
Stefan Ratschan
Solving Undecidable Problems in the Theory of Real Numbers and Hybrid Systems. Algorithmic Algebra and Logic (2005)
Stefan Ratschan, Zhikun She
Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement. HSCC (2005)
Werner Damm, Guilherme Pinto, Stefan Ratschan
Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems. ATVA (2005)
Stefan Ratschan
Convergent approximate solving of first-order constraints by approximate quantifiers. ACM Trans. Comput. Log. 5 (2) (2004)
Luc Jaulin, Stefan Ratschan, Laurent Hardouin
Set Computation for Nonlinear Control. Reliab. Comput. 10 (1) (2004)
Stefan Ratschan
Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities. CP (2003)
Stefan Ratschan
Continuous First-Order Constraint Satisfactionwith Equality and Disequality Constraints. CP (2002)
Stefan Ratschan
Continuous First-Order Constraint Satisfaction. AISC (2002)
Stefan Ratschan
Efficient Solving of Quantified Inequality Constraints over the Real Numbers CoRR (2002)
Stefan Ratschan
Quantified Constraints Under Perturbation. J. Symb. Comput. 33 (4) (2002)
Stefan Ratschan
Search Heuristics for Box Decomposition Methods. J. Glob. Optim. 24 (1) (2002)
Stefan Ratschan
Approximate Quantified Constraint Solving by Cylindrical Box Decomposition. Reliab. Comput. 8 (1) (2002)
Stefan Ratschan
Convergent Approximate Solving of First-Order Constraints by Approximate Quantifiers CoRR (2001)
Stefan Ratschan, Luc Jaulin
Solving Composed First-Order Constraints from Discrete-Time Robust Control CoRR (2001)
Stefan Ratschan
Uncertainty Propagation in Heterogeneous Algebras for Approximate Quantified Constraint Solving. J. Univers. Comput. Sci. 6 (9) (2000)