Stochastic Local Search for Falsification of Hybrid Systems.
Jyotirmoy V. DeshmukhXiaoqing JinJames KapinskiOded MalerPublished in: ATVA (2015)
Keyphrases
- hybrid systems
- stochastic local search
- meta learning
- black box
- intelligent systems
- neural network
- soft computing
- satisfiability problem
- discrete event
- computational intelligence
- phase transition
- artificial intelligence
- randomly generated
- max sat
- random sat instances
- sat problem
- learning tasks
- np hard
- machine learning algorithms
- sat instances
- dynamic programming