Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project (Short Paper).
Romina EramoTiziana FanniDario GuidottiLaura PandolfoLuca PulinaKatiuscia ZeddaPublished in: IPS/RiCeRcA/SPIRIT@AI*IA (2022)
Keyphrases
- neural network
- pattern recognition
- lessons learned
- back propagation
- key issues
- artificial neural networks
- case study
- multilayer perceptron
- project management
- genetic algorithm
- technical challenges
- multi layer
- innovative approaches
- key findings
- real world
- european project
- formal methods
- learning community
- neural nets
- recurrent neural networks
- emerging technologies
- model checking
- data collection
- software development