Publikationen Adrian Wurm
Adrian 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.
Adrian Wurm: Complexity of Reachability Problems in Neural Networks, Proceedings Reachability Problems - 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings. Lecture Notes in Computer Science 14235, Springer 2023, ISBN 978-3-031-45285-7, Preprint version arXiv:2306.05818