Analyzing Learning-Based Networked Systems with Formal Verification

Date

2021

Authors

• Nina Narodytska
• Arnaud Dethise
• Marco Canini

Related projects

• Efficient and Trustworthy Machine Learning

Type

Inproceedings

Booktitle

40th {IEEE} Conference on Computer Communications, {INFOCOM} 2021, Vancouver, BC, Canada, May 10-13, 2021