Neelanjana Pal, Diego Manzanas Lopez, Taylor T. Johnson. Robustness Verification of Deep Neural Networks Using Star-Based Reachability Analysis with Variable-Length Time Series Input. In Alessandro Cimatti, Laura Titolo, editors, Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings. Volume 14290 of Lecture Notes in Computer Science, pages 170-188, Springer, 2023. [doi]
Abstract is missing.