APA-Zitierstil (7. Ausg.)

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).

Chicago-Zitierstil (17. Ausg.)

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

MLA-Zitierstil (9. Ausg.)

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

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.