Titlebook: Machine Learning and Knowledge Extraction; 4th IFIP TC 5, TC 12 Andreas Holzinger,Peter Kieseberg,Edgar Weippl Conference proceedings 2020

BOLT

On-the-fly Black-Box Probably Approximately Correct Checking of Recurrent Neural Networks,case of black-box checking based on learning a probably approximately correct, regular approximation of the intersection of the language of the black-box (the network) with the complement of the property to be checked, without explicitly building individual representations of them. When the algorith

单调性