Fengchen Gong, Divya Raghunathan, Aarti Gupta, Maria Apostolaki. Towards Integrating Formal Methods into ML-Based Systems for Networking. In Proceedings of the 22nd ACM Workshop on Hot Topics in Networks, HotNets 2023, Cambridge, MA, USA, November 28-29, 2023. pages 48-55, ACM, 2023. [doi]
Abstract is missing.