6 citations · 6 across the 3 of their papers we have counts for
3 papers
eess.SY2026
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…
eess.SY2024
Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications
Sota Sato, Jie An, Zhenya Zhang +1
We present a bounded model checking algorithm for signal temporal logic (STL) that exploits mixed-integer linear programming (MILP). A key technical element is our novel MILP encod…
cs.RO2024★ 6 cited
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance
Jesse Reimann, Nico Mansion, James Haydon +8
As the development of autonomous vehicles progresses, efficient safety assurance methods become increasingly necessary. Safety assurance methods such as monitoring and scenario-bas…