Cita APA (7a ed.)

Jouve-Genty, M., Su, H., Sato, S., An, J., Zhang, Z., & Hasuo, I. (2026). STLts-Div: Diversified Trace Synthesis from STL Specifications Using MILP (Extended Version).

Cita Chicago Style (17a ed.)

Jouve-Genty, Martin, Han Su, Sota Sato, Jie An, Zhenya Zhang, y Ichiro Hasuo. STLts-Div: Diversified Trace Synthesis from STL Specifications Using MILP (Extended Version). 2026.

Cita MLA (9a ed.)

Jouve-Genty, Martin, et al. STLts-Div: Diversified Trace Synthesis from STL Specifications Using MILP (Extended Version). 2026.