Integrating Network State Verification with Knowledge Graph based Digital Twin for SDN. - Dnyaneshwar Shinde; V. Sai Sravani; Krishna Teja; Deepu Raj R; Kotaro Kataoka (NFV-SDN, 2025)