@proceedings{49,
  author = {Gidon Ernst and Sean Sedwards and Zhenya Zhang and Ichiro Hasuo},
  title = {Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input},
  year = {2019},
  publisher = {Springer},
  address = {Glasgow, Scotland},
}