Huazhe Wang, Puneet Sharma, Faraz Ahmed, Joon-Myung Kang, Chen Qian 0001, Mihalis Yannakakis. Epinoia: Intent Checker for Stateful Networks. In 30th International Conference on Computer Communications and Networks, ICCCN 2021, Athens, Greece, July 19-22, 2021. pages 1-9, IEEE, 2021. [doi]
Abstract is missing.