@misc{indiciae748ed2b57d66,
  title = {Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis},
  author = {Sota Sato and Masaki Waga and Ichiro Hasuo},
  year = {2021},
  url = {https://arxiv.org/abs/2012.00319},
  note = {Source identifier: 2012.00319}
}