TY  - RPRT
TI  - STLts-Div: Diversified Trace Synthesis from STL Specifications Using MILP (Extended Version)
AU  - Martin Jouve-Genty
AU  - Han Su
AU  - Sota Sato
AU  - Jie An
AU  - Zhenya Zhang
AU  - Ichiro Hasuo
PY  - 2026
UR  - https://arxiv.org/abs/2603.17293
ID  - 2603.17293
ER  -