Download PDFOpen PDF in browser

ARCH-COMP18 Category Report: Results on the Falsification Benchmarks

6 pagesPublished: September 17, 2018

Abstract

This report presents the outcomes of the 2018 friendly competition in the ARCH workshop for the category of falsification of temporal logic specifications over Cyber-Physical Systems.

In: Goran Frehse (editor). ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, vol 54, pages 104-109.

BibTeX entry
@inproceedings{ARCH18:ARCH_COMP18_Category_Report,
  author    = {Adel Dokhanchi and Shakiba Yaghoubi and Bardh Hoxha and Georgios Fainekos and Gidon Ernst and Zhenya Zhang and Paolo Arcaini and Ichiro Hasuo and Sean Sedwards},
  title     = {ARCH-COMP18 Category Report: Results on the Falsification Benchmarks},
  booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse},
  series    = {EPiC Series in Computing},
  volume    = {54},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/HjJ8},
  doi       = {10.29007/t85q},
  pages     = {104-109},
  year      = {2018}}
Download PDFOpen PDF in browser