Login / Signup

Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification.

Zhenya ZhangIchiro HasuoPaolo Arcaini
Published in: CAV (1) (2019)
Keyphrases
  • multi armed bandits
  • bandit problems
  • inference rules
  • boolean functions
  • real valued
  • multi armed bandit
  • artificial intelligence