Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), Munich, Germany, September 2022
Published in: ARCH@SAFECOMP (2022)
Keyphrases
- hybrid systems
- international conference
- computational intelligence
- lecture notes in artificial intelligence
- neural network
- international workshop
- artificial intelligence
- lecture notes
- genetic algorithm
- computer science
- intelligent systems
- machine learning
- test data
- meta learning
- international symposium
- selected papers