RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems.
Eric GoubaultSylvie PutotPublished in: CAV (1) (2022)
Keyphrases
- neural network
- computationally efficient
- pattern recognition
- expert systems
- complex systems
- linear combination
- artificial neural networks
- state space
- neuro fuzzy systems
- knowledge based systems
- computer systems
- distributed systems
- management system
- multiscale
- website
- metadata
- information systems
- artificial intelligence
- learning algorithm