The following publications are possibly variants of this publication:
- ARCH-COMP 2020 Category Report: FalsificationGidon 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. arch 2020: 140-152 [doi]
- ARCH-COMP 2021 Category Report: Falsification with Validation of ResultsGidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue 0001, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang. arch 2021: 133-152 [doi]
- ARCH-COMP17 Category Report: Preliminary Results on the Falsification BenchmarksAdel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios E. Fainekos. cpsweek 2017: 170-174 [doi]
- ARCH-COMP18 Category Report: Results on the Falsification BenchmarksAdel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Sean Sedwards. adhs 2018: 104-109 [doi]