Tobias Ladner joined the Cyber-Physical-Systems Group as a Ph.D. candidate under the supervision of Prof. Dr.-Ing. Matthias Althoff in 2022. Tobias has received both, his master's degree and his bachelor's degree in Informatics from the Technical University of Munich in 2021 and 2019, respectively.
His research interests include formal verification of neural networks and neural network controlled systems. He is a member of the DFG-funded project “Formal Verification of Analog AI Hardware (FAI)“.
Offered Thesis Topics
I am always looking for self-motivated students who want to work in my research area. If you are interested in writing your thesis in the field of my research, please write me an email containing your CV, transcript of records, and a rough direction you are interested in. Check the thesis proposals and practical course topics below for examples.
Ladner, Tobias; Althoff, Matthias: Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis. Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2023 more…BibTeX
Full text (
DOI
)
Full text (mediaTUM)
Manzanas Lopez, Diego; Althoff, Matthias; Forets, Marcelo; Johnson, Taylor T; Ladner, Tobias; Schilling, Christian: ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. EPiC Series in Computing, EasyChair, 2023 more…BibTeX
Full text (
DOI
)
Full text (mediaTUM)
2022
Lopez, Diego Manzanas; Althoff, Matthias; Benet, Luis; Chen, Xin; Fan, Jiameng; Forets, Marcelo; Huang, Chao; Johnson, Taylor T; Ladner, Tobias; Li, Wenchao; Schilling, Christian; Zhu, Qi: ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22) (EPiC Series in Computing), EasyChair, 2022 more…BibTeX
Full text (
DOI
)
Full text (mediaTUM)