Oliver Theel

Available identifiers

zbMath Open theel.oliverMaRDI QIDQ394330

List of research outcomes

Publication	Date of Publication	Type
Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples	2020-01-14	Paper
Stabhyli	2017-05-16	Paper
Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once	2015-09-14	Paper
Combining decomposition and reduction for state space analysis of a self-stabilizing system	2014-01-27	Paper
A decompositional proof scheme for automated convergence proofs of stochastic hybrid systems	2009-12-01	Paper
Decompositional Construction of Lyapunov Functions for Hybrid Systems	2009-04-30	Paper
Fully Automated Stability Verification for Piecewise Affine Systems	2009-03-11	Paper
Towards Automatic Convergence Verification of Self-stabilizing Algorithms	2007-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2766875	2002-06-25	Paper

Research outcomes over time

This page was built for person: Oliver Theel