International Conference on Machine Learning · 2019 · 36 citations · 0 references
ComputingComputer ScienceMathematicsFault-tolerant SystemsMachine LearningUncertainty QuantificationDeductive VerificationDeep LearningNetwork RobustnessNeural NetworksPattern RecognitionProbabilistic Machine LearningProbabilistic Model CheckingRobust VerificationRobustnessRobustness AssessmentStability Of Learning AlgorithmsVerification Of Neural Network Controllers