sitar

MaRDI QIDQ55891swMATHFDO

Official website http://www-verimag.imag.fr/~maler/Papers/falsify.pdf

Described by source

• Stochastic local search for falsification of hybrid systems

Cited in

(6)

• Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness
• S-TaLiRo
• Breach
• BluSTL
• AdaptiveStressTesting.jl
• A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems

This page was built for software: sitar