@misc{indiciae32c3ef4de0ad,
  title = {Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications},
  author = {Sota Sato and Jie An and Zhenya Zhang and Ichiro Hasuo},
  year = {2024},
  url = {https://arxiv.org/abs/2408.06983},
  note = {Source identifier: 2408.06983}
}