ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks
Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos · EPiC series in computing · 2018
This report presents some preliminary base results from the 2017 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. The benchmarks are available on the ARCH website. In this report, we present results on a powertrain model developed by Toyota Technical Center which contains a complex automatic air-fuel control subsystem