A Review of Formal Methods applied to Machine Learning.

Caterina Urban Antoine Miné

Published in: CoRR (2021)

Keyphrases

formal methods
machine learning
artificial intelligence
learning algorithm
information systems
model checking
data mining
database systems
safety critical
machine learning methods
formal specification
model checker
concurrent systems