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: Checking extracted rules in Neural Networks.
To appear in: Proc. International Joint Conference on Neural Networks 2025, https://2025.ijcnn.org, Rome, Italy
K. Meer und A. Wurm: Some structural complexity results for $\exists \mathbb R$.
To appear in: Proc. 21st Conference on Computability in Europe, https://sites.google.com/view/cie2025-computabilityineurope/home, Lisbon, Portugal
A. Wurm: Robustness Verification in Neural Networks.
In Proc. 21st Int. Conference on the Integration of Constraint Programming, Artifical Intelligence, and Operations Reserach, https://link.springer.com/chapter/10.1007/978-3-031-60599-4_18, Uppsala, Sweden, Lecture Notes in Computer Science, vol 14743. Springer, pp. 263-378. Arxiv version see here ArXiv: https://arxiv.org/pdf/2403.13441
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