ARCH-COMP 2020 category report: Falsification

Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donze, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang

Research output: Contribution to journalConference articlepeer-review

14 Scopus citations

Fingerprint

Dive into the research topics of 'ARCH-COMP 2020 category report: Falsification'. Together they form a unique fingerprint.

Engineering & Materials Science