Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search.
Zhenya ZhangGidon ErnstSean SedwardsPaolo ArcainiIchiro HasuoPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2018)
Keyphrases
- hybrid systems
- monte carlo tree search
- monte carlo
- black box
- intelligent systems
- soft computing
- meta learning
- evaluation function
- discrete event
- neural network
- computational intelligence
- artificial intelligence
- e learning
- dynamical systems
- dynamic programming
- dynamic systems
- active learning
- game tree
- training data
- temporal difference learning