Arnaud Dethise, Marco Canini, Nina Narodytska. Analyzing Learning-Based Networked Systems with Formal Verification. In 40th IEEE Conference on Computer Communications, INFOCOM 2021, Vancouver, BC, Canada, May 10-13, 2021. pages 1-10, IEEE, 2021. [doi]
Abstract is missing.