Analyzing Learning-Based Networked Systems with Formal Verification

Arnaud Dethise, Marco Canini, Nina Narodytska