T
Tino Teige
Researcher at University of Oldenburg
Publications - 34
Citations - 791
Tino Teige is an academic researcher from University of Oldenburg. The author has contributed to research in topics: Model checking & Probabilistic logic. The author has an hindex of 13, co-authored 33 publications receiving 739 citations. Previous affiliations of Tino Teige include University of Freiburg.
Papers
More filters
Journal ArticleDOI
Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure
TL;DR: This work provides a tight integration of recent SAT solving techniques with interval-based arithmetic constraint solving, able to handle large constraint systems with extremely complex Boolean structure, involving Boolean combinations of multiple thousand arithmetic constraints over some thousands of variables.
Book ChapterDOI
Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
TL;DR: Stochastic SMT permits the direct and fully symbolic analysis of Probabilistic bounded reachability problems of probabilistic hybrid automata without resorting to approximation by intermediate finite-state abstractions.
Proceedings ArticleDOI
Analysis of Hybrid Systems Using HySAT
TL;DR: This paper describes the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT, an arithmetic constraint solver with a tightly integrated bounded model checker for hybrid discrete-continuous systems.
Journal ArticleDOI
Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
TL;DR: This article recalls different approaches to the constraint-based, symbolic analysis of hybrid discrete-continuous systems and combines them to a technology able to address hybrid systems exhibiting both non-deterministic and probabilistic behavior akin to infinite-state Markov decision processes.
Proceedings ArticleDOI
Test automation for hybrid systems
TL;DR: Novel results on automated test generation for hybrid control systems, which involves the generation of both discrete and real-valued, potentially time-continuous, input data to the system under test, are presented.