On-the-fly Black-Box Probably Approximately Correct Checking of Recurrent Neural Networks.
Franz MayrRamiro ViscaSergio YovinePublished in: CD-MAKE (2020)
Keyphrases
- black box
- recurrent neural networks
- pac learning
- white box
- black boxes
- neural network
- random sampling
- feed forward
- recurrent networks
- artificial neural networks
- echo state networks
- neural model
- reservoir computing
- cascade correlation
- hybrid systems
- integration testing
- feedforward neural networks
- test cases
- uniform distribution
- nonlinear dynamic systems
- decision making
- sample complexity
- genetic algorithm
- chaotic time series
- decision trees
- databases
- reinforcement learning
- white box testing