Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness

DOI10.1007/978-3-030-81685-8_29zbMath1493.68227OpenAlexW3184919107MaRDI QIDQ832206

Deyun Lyu, Paolo Arcaini, Zhenya Zhang, Ichiro Hasuo, Lei Ma, Jianjun Zhao

Publication date: 25 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-81685-8_29

zbMATH Keywords

Monte Carlo tree searchfalsificationscale problemQB-robustnessrobust semanticssignal temporal logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (2)

Multi-Requirement Testing Using Focused Falsification ⋮ Stealthy attacks formalized as STL formulas for Falsification of CPS Security

Uses Software

• S-TaLiRo
• SpaceEx
• Flow*
• Breach
• AdaptiveStressTesting.jl
• sitar

Cites Work

• Robustness of temporal logic specifications for continuous-time signals
• Powertrain control verification benchmark
• Parallelotope Bundles for Polynomial Reachability
• S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
• Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Testing, and Verification Techniques
• Stochastic Local Search for Falsification of Hybrid Systems
• Robust Satisfaction of Temporal Logic over Real-Valued Signals
• Logical Foundations of Cyber-Physical Systems
• 10.1162/153244303321897663
• Interface-aware signal temporal logic
• Combined Global and Local Search for the Falsification of Hybrid Systems
• Multi-armed bandits for Boolean connectives in hybrid system falsification

This page was built for publication: Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness