Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification

Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

5 被引用数 (Scopus)

抄録

Hybrid system falsification is an actively studied topic, as a scalable quality assurance methodology for real-world cyber-physical systems. In falsification, one employs stochastic hill-climbing optimization to quickly find a counterexample input to a black-box system model. Quantitative robust semantics is the technical key that enables use of such optimization. In this paper, we tackle the so-called scale problem regarding Boolean connectives that is widely recognized in the community: quantities of different scales (such as speed [km/h] vs. rpm, or worse, rph) can mask each other’s contribution to robustness. Our solution consists of integration of the multi-armed bandit algorithms in hill climbing-guided falsification frameworks, with a technical novelty of a new reward notion that we call hill-climbing gain. Our experiments show our approach’s robustness under the change of scales, and that it outperforms a state-of-the-art falsification tool.

本文言語英語
ホスト出版物のタイトルComputer Aided Verification - 31st International Conference, CAV 2019, Proceedings
編集者Isil Dillig, Serdar Tasiran
出版社Springer Verlag
ページ401-420
ページ数20
ISBN(印刷版)9783030255398
DOI
出版ステータス出版済み - 2019
外部発表はい
イベント31st International Conference on Computer Aided Verification, CAV 2019 - New York City, 米国
継続期間: 7 15 20197 18 2019

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
11561 LNCS
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

会議

会議31st International Conference on Computer Aided Verification, CAV 2019
国/地域米国
CityNew York City
Period7/15/197/18/19

All Science Journal Classification (ASJC) codes

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル