Improving ML Safety with Partial Specifications.

Rick Salay Krzysztof Czarnecki

Published in: SAFECOMP Workshops (2019)

Keyphrases

maximum likelihood
formal specification
data sets
neural network
real world
case study
high level
em algorithm