A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems

From MaRDI portal
Publication:5026187