6 citations · 6 across the 2 of their papers we have counts for
2 papers
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…