Sign in

Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness.

Zhenya ZhangDeyun LyuPaolo ArcainiLei MaIchiro HasuoJianjun Zhao
Published in: CAV (1) (2021)
Keyphrases
  • monte carlo tree search
  • monte carlo
  • tree search algorithm
  • decision making
  • expert systems
  • genetic algorithm
  • reinforcement learning
  • artificial neural networks