共 50 条
- [1] Statistical model checking of black-box probabilistic systems COMPUTER AIDED VERIFICATION, 2004, 3114 : 202 - 215
- [3] Black-box statistical prediction of lossy compression ratios for scientific data INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS, 2023, 37 (3-4): : 412 - 433
- [5] Probabilistic verification for "black-box" systems COMPUTER AIDED VERIFICATION< PROCEEDINGS, 2005, 3576 : 253 - 265
- [9] A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2021, 72 : 377 - 428