@misc{indiciaefae75a02e059,
  title = {Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version)},
  author = {Zhenya Zhang and Ichiro Hasuo and Paolo Arcaini},
  year = {2019},
  url = {https://arxiv.org/abs/1905.07549},
  note = {Source identifier: 1905.07549}
}