Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper introduces explanation-based runtime verification, a novel approach that leverages explainable AI techniques to assess the soundness of machine learning decisions in optical network automation before they are executed. By evaluating the coherence of model explanations and their consistency with physical principles, the method can defer or reject uncertain decisions, thereby enhancing the reliability of network operations. Experimental results indicate that this approach can intercept a substantial portion of erroneous decisions while maintaining a high level of automation, which is critical for service quality and network stability.
Explanation-based runtime verification intercepts erroneous ML decisions in optical networks, preserving automation while enhancing reliability.
Machine learning (ML) models are increasingly integrated into optical network automation frameworks to support tasks such as failure management, performance monitoring and resource allocation. In these environments, ML-driven predictions may be directly coupled with control-plane actions where incorrect decisions can immediately impact service quality, resource efficiency, and network stability. As automation levels increase, ensuring the reliability of individual decisions at deployment time becomes a critical requirement. Explainable artificial intelligence (XAI) techniques have emerged to improve transparency by highlighting the factors influencing ML predictions. In addition to identifying influential features, they provide insights into the underlying reasoning process of the model, revealing how different input variables contribute to the final outcome and how feature interactions shape the decision boundary. In this work, we introduce explanation-based runtime verification, an approach that exploits model explanations to assess the soundness of individual ML decisions before they are executed in the network control loop. The proposed approach evaluates explanation coherence and physics grounding consistency at runtime, enabling the system to defer or reject decisions flagged as uncertain. We demonstrate the effectiveness of our approach on a representative use case of lightpath quality of transmission classification. Experimental results show that explanation-based verification can intercept a significant fraction of erroneous decisions while preserving high automation rate.