16 citations · 69 across the 28 of their papers we have counts for
Showing 2020 · eess.SYShow all
2 papers · 2 filters
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…