Robustness Verification of Deep Neural Networks Using Star-Based Reachability Analysis with Variable-Length Time Series Input.
Neelanjana PalDiego Manzanas LopezTaylor T. JohnsonPublished in: FMICS (2023)
Keyphrases
- variable length
- reachability analysis
- model checking
- neural network
- fixed length
- timed automata
- markov decision processes
- n gram
- incremental algorithms
- text compression
- statistical dependencies
- bitstream
- recurrent neural networks
- image data
- image processing
- state space
- probabilistic model
- similarity measure
- three dimensional
- data mining