@misc{indiciae53a389d3d115,
  title = {Active Sampling-based Binary Verification of Dynamical Systems},
  author = {John F. Quindlen and Ufuk Topcu and Girish Chowdhary and Jonathan P. How},
  year = {2018},
  url = {https://arxiv.org/abs/1706.04268},
  note = {Source identifier: 1706.04268}
}