@misc{indiciae61c14e5dee7a,
  title = {STLts-Div: Diversified Trace Synthesis from STL Specifications Using MILP (Extended Version)},
  author = {Martin Jouve-Genty and Han Su and Sota Sato and Jie An and Zhenya Zhang and Ichiro Hasuo},
  year = {2026},
  url = {https://arxiv.org/abs/2603.17293},
  note = {Source identifier: 2603.17293}
}