Wissenschaftlicher Mitarbeiter
M.Sc. Adrian Wurm
Hauptgebäude, Raum 2.16
T: +49 (0) 355 69 3807
F: +49 (0) 355 69 3855
Email: Adrian.Wurm@b-tu.de
Sprechstunde nach Vereinbarung per eMail
Publikationen:
A. Wurm: Robustness Verification in Neural Networks. To appear in: Proc. 21st Int. Conference on the Integration of Constraint Programming, Artifical Intelligence, and Operations Reserach CPAIOR 2024, Uppsala, Sweden.
A. Wurm: Complexity of Reachability Problems in Neural Networks. In: Proc. 17th International Conference on Reachability Problems RP 2023, Nice, France, Lecture Notes in Computer Science vol 14235, Springer, pp. 15-27, 2023. Arxiv version see here arXiv:306.05818