Thesis | Samuel Teuber https://teuber.dev/publication-type/thesis/ Thesis Hugo Blox Builder (https://hugoblox.com)en-us© Samuel Teuber 2026Sat, 01 Jan 2022 00:00:00 +0000 https://teuber.dev/media/icon_hu12043384013482896550.png Thesis https://teuber.dev/publication-type/thesis/ Transfer of Safety Guarantees from Differential Dynamic Logic Proofs to Neural Network-based Controller Systems https://teuber.dev/publication/thesis-ma/ Sat, 01 Jan 2022 00:00:00 +0000 https://teuber.dev/publication/thesis-ma/ Solving difficult SMT instances using abstractions and incremental SMT solving https://teuber.dev/publication/thesis-ba/ Wed, 01 Jan 2020 00:00:00 +0000 https://teuber.dev/publication/thesis-ba/