publication venue for The Promise of Applying Machine Learning Techniques to Network Function Virtualization. 100020-100020. 2024 On the Formal Evaluation of the Robustness of Neural Networks and Its Pivotal Relevance for AI-Based Safety-Critical Domains. 100018-100018. 2023