@mastersthesis{TeuberMA,
    title={Transfer of Safety Guarantees from Differential Dynamic Logic Proofs to Neural Network-based Controller Systems},
    author={Teuber, Samuel},
    year={2022},
    school={Karlsruhe Institute of Technology},
    type={Master's Thesis},
    note={Awarded with the "Best Master's Thesis Award" of the Faculty of Informatics, KIT, 2022}
}