一作INFOCOM 2026Oral· Computer Communications & Networking
CRONUS: Counterexample-Guided Constraint Learning for Network Update Synthesis
Jianshuo Xu · Hongtai Zhu · Jincheng Ding · Runxuan Fang · Yechuan Xia · Haiqin Wu · Chengcheng Wan · Jianwen Li · Geguang Pu