sitar

swMATH40191MaRDI QIDQ55891FDOQ55891

Author name not available (Why is that?)

Described by source

• Stochastic Local Search for Falsification of Hybrid Systems

Cited In (2)

• 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

This page was built for software: sitar