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

5 pages•Published: June 27, 2017

Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha and Georgios Fainekos

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.

Links:	https://easychair.org/publications/paper/HxQ
	https://doi.org/10.29007/wmf5

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 PDF Open PDF in browser