7 citations · 13 across the 16 of their papers we have counts for
19 papers
Deciding Predicate Logical Theories of Real-Valued Functions
Stefan Ratschan
The notion of a real-valued function is central to mathematics, computer science, and many other scientific fields. Despite this importance, there are hardly any positive results o…
Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem
Enrico Lipparini, Stefan Ratschan
For typical first-order logical theories, satisfying assignments have a straightforward finite representation that can directly serve as a certificate that a given assignment satis…
LQR-trees with Sampling Based Exploration of the State Space
Jiří Fejlek, Stefan Ratschan
This paper introduces an extension of the LQR-tree algorithm, which is a feedback-motion-planning algorithm for stabilizing a system of ordinary differential equations from a bound…
Railway Scheduling Using Boolean Satisfiability Modulo Simulations
Tomáš Kolárik, Stefan Ratschan
Railway scheduling is a problem that exhibits both non-trivial discrete and continuous behavior. In this paper, we simulate train networks at a low level, where a number of timing…
Computing Funnels Using Numerical Optimization Based Falsifiers
Jiří Fejlek, Stefan Ratschan
In this paper, we present an~algorithm that computes funnels along trajectories of systems of ordinary differential equations. A funnel is a time-varying set of states containing t…
Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT
Thao Dang, Stefan Ratschan
The proceedings of the 6th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR 2020) contains papers underlying talks presented at the workshop.…