STLts-Div: Diversified Trace Synthesis from STL Specifications Using MILP.

Martin Jouve-Genty, Han Su, Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo

Browse the full FM paper archive.