Guy Katz. Augmenting Deep Neural Networks with Scenario-Based Guard Rules. In Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, editors, Model-Driven Engineering and Software Development - 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020, Revised Selected Papers. Volume 1361 of Communications in Computer and Information Science, pages 147-172, Springer, 2020. [doi]
Abstract is missing.