Property Checking with Interpretable Error Characterization for Recurrent Neural Networks
Mayr, F.; Yovine, S.; Visca, R. Property Checking with Interpretable Error Characterization for Recurrent Neural Networks. Mach. Learn. Knowl. Extr. 2021, 3, 205-227. https://doi.org/10.3390/make3010010
Mayr F, Yovine S, Visca R. Property Checking with Interpretable Error Characterization for Recurrent Neural Networks. Machine Learning and Knowledge Extraction. 2021; 3(1):205-227. https://doi.org/10.3390/make3010010
Chicago/Turabian StyleMayr, Franz, Sergio Yovine, and Ramiro Visca. 2021. "Property Checking with Interpretable Error Characterization for Recurrent Neural Networks" Machine Learning and Knowledge Extraction 3, no. 1: 205-227. https://doi.org/10.3390/make3010010