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

Browse the full INFOCOM paper archive.