Jianshuo Xu, Hongtai Zhu, Jincheng Ding, Runxuan Fang, Yechuan Xia, Haiqin Wu, Chengcheng Wan 0001, Jianwen Li, Geguang Pu. CRONUS: Counterexample-Guided Constraint Learning for Network Update Synthesis. In IEEE INFOCOM 2026 - IEEE Conference on Computer Communications, Tokyo, Japan, May 18-21, 2026. pages 1-10, IEEE, 2026. [doi]
Abstract is missing.