sitar

swMATH40191MaRDI QIDQ55891FDOQ55891

Author name not available (Why is that?)

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
• A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems
• S-TaLiRo
• Breach
• BluSTL
• AdaptiveStressTesting.jl

This page was built for software: sitar