Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September 2017.
Published in: PrePost@iFM (2017)
Keyphrases
- international conference
- lecture notes
- lecture notes in artificial intelligence
- computer science
- computational intelligence
- international symposium
- international workshop
- working conference
- model checking
- knowledge discovery and data mining
- annual conference on computational learning theory
- pacific rim
- terrorist attacks
- conference on artificial intelligence
- advances in artificial intelligence
- neural network
- artificial neural networks
- database systems
- progress in artificial intelligence
- genetic algorithm