SMT-based scenario verification for hybrid systems.
Alessandro CimattiSergio MoverStefano TonettaPublished in: Formal Methods Syst. Des. (2013)
Keyphrases
- hybrid systems
- black box
- intelligent systems
- neural network
- soft computing
- meta learning
- computational intelligence
- artificial intelligence
- discrete event
- real world
- learning tasks
- fuzzy logic
- genetic algorithm
- genetic programming
- artificial neural networks
- dynamic systems
- decision making
- feature selection
- workflow systems