ARCH-COMP 2020 Category Report: Falsification | Zendy

Gidon Ernst | Zendy; Paolo Arcaini | Zendy; Ismail Bennani | Zendy; Alexandre Donzé | Zendy; Georgios Fainekos | Zendy; Goran Frehse | Zendy; Logan Mathesen | Zendy; Claudio Menghi | Zendy; Giulia Pedrielli | Zendy; Marc Pouzet | Zendy; Shakiba Yaghoubi | Zendy; Yoriyuki Yamagata | Zendy; Zhenya Zhang | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

ARCH-COMP 2020 Category Report: Falsification

Author(s) -

Gidon Ernst,

Paolo Arcaini,

Ismail Bennani,

Alexandre Donzé,

Georgios Fainekos,

Goran Frehse,

Logan Mathesen,

Claudio Menghi,

Giulia Pedrielli,

Marc Pouzet,

Shakiba Yaghoubi,

Yoriyuki Yamagata,

Zhenya Zhang

Publication year - 2020

Publication title -

epic series in computing

Language(s) - English

Resource type - Conference proceedings

SCImago Journal Rank - 0.21

H-Index - 7

ISSN - 2398-7340

DOI - 10.29007/trr1

Subject(s) - arch , competition (biology) , computer science , software engineering , artificial intelligence , data science , engineering , civil engineering , ecology , biology

This report presents the results from the 2020 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly describe the competition settings, which have been inherited from the previous year, give background on the participating teams and tools and discuss the selected benchmarks. The benchmarks are available on the ARCH website1, as well as in the competition’s gitlab repository2. In comparison to 2019, we have two new participating tools with novel approaches, and the results show a clear improvement over previous performances on some benchmarks.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research