@misc{indiciae7701afbdd709,
  title = {Time-Staging Enhancement of Hybrid System Falsification},
  author = {Gidon Ernst and Ichiro Hasuo and Zhenya Zhang and Sean Sedwards},
  year = {2022},
  doi = {10.4204/eptcs.361.5},
  url = {https://arxiv.org/abs/1803.03866},
  note = {Source identifier: 1803.03866}
}