Analyzing Learning-Based Networked Systems with Formal Verification.

Arnaud Dethise Marco Canini Nina Narodytska

Published in: INFOCOM (2021)

Keyphrases

formal verification
learning systems
learning process
machine learning
multimedia
learning algorithm
learning environment
management system
software engineering
supervised learning
educational systems