Muhammad Usman 0024, Youcheng Sun, Divya Gopinath, Corina S. Pasareanu. Rule-Based Testing of Neural Networks. In Marsha Chechik, Sebastian G. Elbaum, Boyue Caroline Hu, Lina Marsso, Meriel von Stein, editors, Proceedings of the 1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components, SE4SafeML 2023, San Francisco, CA, USA, 4 December 2023. pages 1-5, ACM, 2023. [doi]
Abstract is missing.