Download PDFOpen PDF in browser

ARCH-COMP23 Category Report: Falsification

19 pagesPublished: October 18, 2023

Abstract

This report presents the results from the 2023 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. We describe the benchmark models selected to compare the tools and the competition settings and provide background on the participating teams and tools. Finally, we present and discuss our results.

Keyphrases: benchmarking, cyber physical systems, evaluation, falsification, friendly competition

In: Goran Frehse and Matthias Althoff (editors). Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), vol 96, pages 151-169.

BibTeX entry
@inproceedings{ARCH23:ARCH_COMP23_Category_Report,
  author    = {Claudio Menghi and Paolo Arcaini and Walstan Baptista and Gidon Ernst and Georgios Fainekos and Federico Formica and Sauvik Gon and Tanmay Khandait and Atanu Kundu and Giulia Pedrielli and Jarkko Peltomäki and Ivan Porres and Rajarshi Ray and Masaki Waga and Zhenya Zhang},
  title     = {ARCH-COMP23 Category Report: Falsification},
  booktitle = {Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {96},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/wFh9},
  doi       = {10.29007/6nqs},
  pages     = {151-169},
  year      = {2023}}
Download PDFOpen PDF in browser