@article{optimizationbasedmodelcheckingandtrace,
  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},
  eprint = {2408.06983},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2408.06983v1},
}