10 citations · 37 across the 17 of their papers we have counts for
Showing eess.SYShow all
3 papers · 1 filter
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…
eess.SY2020★ 1 cited
Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis
Sota Sato, Masaki Waga, Ichiro Hasuo
The synthesis problem of a cyber-physical system (CPS) is to find an input signal under which the system's behavior satisfies a given specification. Our setting is that the specifi…
eess.SY2020
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches
Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
Falsification of hybrid systems is attracting ever-growing attention in quality assurance of Cyber-Physical Systems (CPS) as a practical alternative to exhaustive formal verificati…