Robustness Verification of Deep Neural Networks using Star-Based Reachability Analysis with Variable-Length Time Series Input.
Neelanjana PalDiego Manzanas LopezTaylor T. JohnsonPublished in: CoRR (2023)
Keyphrases
- variable length
- reachability analysis
- model checking
- neural network
- fixed length
- markov decision processes
- timed automata
- n gram
- bitstream
- incremental algorithms
- statistical dependencies
- text compression
- state space
- computer vision
- human motion
- hidden layer
- recurrent neural networks
- wavelet coefficients
- knowledge discovery
- search algorithm