Effective topological degree computation based on interval arithmetic von FRANEK, PETER, RATSCHAN, STEFAN

Volltext

Converse Theorems for Safety and Barrier Certificates von Ratschan, Stefan

Volltext

Solving reachability problems by a scalable constrained optimization method von Kuřátko, Jan, Ratschan, Stefan

Volltext

Computation of feedback control laws based on switched tracking of demonstrations von Fejlek, Jiří, Ratschan, Stefan

Volltext

Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT: Preface von Dang, Thao, Ratschan, Stefan

Volltext

Efficient solving of quantified inequality constraints over the real numbers von Ratschan, Stefan

Volltext

Safety verification of non-linear hybrid systems is quasi-decidable von Ratschan, Stefan

Volltext

Safety verification of hybrid systems by constraint propagation-based abstraction refinement von Ratschan, Stefan, She, Zhikun

Volltext

PROVIDING A BASIN OF ATTRACTION TO A TARGET REGION OF POLYNOMIAL SYSTEMS BY COMPUTATION OF LYAPUNOV-LIKE FUNCTIONS von RATSCHAN, Stefan, ZHIKUN SHE

Volltext

Efficient solving of quantified inequality constraints over the real numbers von Ratschan, Stefan

Volltext

Satisfiability of Non-linear Transcendental Arithmetic as a Certificate Search Problem von Lipparini, Enrico, Ratschan, Stefan

Volltext

Fast Three-Valued Abstract Bit-Vector Arithmetic von Onderka, Jan, Ratschan, Stefan

Volltext

Quasi-decidability of a Fragment of the First-Order Theory of Real Numbers von Franek, Peter, Ratschan, Stefan, Zgliczynski, Piotr

Volltext

Simulation Based Computation of Certificates for Safety of Dynamical Systems von Ratschan, Stefan

Volltext

Deciding Predicate Logical Theories of Real-Valued Functions von Ratschan, Stefan

Volltext bestellen

Railway Scheduling Using Boolean Satisfiability Modulo Simulations von Kolárik, Tomáš, Ratschan, Stefan

Volltext

Safety Verification of Non-linear Hybrid Systems Is Quasi-Semidecidable von Ratschan, Stefan

Volltext

Foreword von Ratschan, Stefan, Sturm, Thomas

Volltext

Efficient Solution of a Class of Quantified Constraints with Quantifier Prefix Exists-Forall von Hladík, Milan, Ratschan, Stefan

Volltext

Combined Global and Local Search for the Falsification of Hybrid Systems von Kuřátko, Jan, Ratschan, Stefan

Volltext