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.