STLts-Div: Diversified Trace Synthesis from STL Specifications Using MILP (Extended Version)

Martin Jouve-Genty, Han Su, Sota Sato +3

Modern cyber-physical systems are complex, and requirements are often written in Signal Temporal Logic (STL). Writing the right STL is difficult in practice; engineers benefit from…