Rare-event verification for stochastic hybrid systems.
Paolo ZulianiChristel BaierEdmund M. ClarkePublished in: HSCC (2012)
Keyphrases
- hybrid systems
- rare events
- discrete event
- intelligent systems
- black box
- soft computing
- importance sampling
- computational intelligence
- meta learning
- neural network
- monte carlo
- fraud detection
- artificial intelligence
- dynamic systems
- distributed data
- data sets
- simulation model
- learning experience
- learning tasks
- evolutionary algorithm
- artificial neural networks
- feature extraction
- machine learning
- data mining