Download PDFOpen PDF in browser

ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks

5 pagesPublished: June 27, 2017

Abstract

This report presents some preliminary base results from the 2017 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. The benchmarks are available on the ARCH website. In this report, we present results on a powertrain model developed by Toyota Technical Center which contains a complex automatic air-fuel control subsystem

In: Goran Frehse and Matthias Althoff (editors). ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, vol 48, pages 170-174.

BibTeX entry
@inproceedings{ARCH17:ARCH_COMP17_Category_Report,
  author    = {Adel Dokhanchi and Shakiba Yaghoubi and Bardh Hoxha and Georgios Fainekos},
  title     = {ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks},
  booktitle = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {48},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/HxQ},
  doi       = {10.29007/wmf5},
  pages     = {170-174},
  year      = {2017}}
Download PDFOpen PDF in browser