共 50 条
- [1] Probabilistic Analysis of Onion Routing in a Black-box Model WPES'07: PROCEEDINGS OF THE 2007 ACM WORKSHOP ON PRIVACY IN ELECTRONIC SOCIETY, 2007, : 1 - 10
- [3] A note on an anomaly in black-box testing FORMAL APPROACHES TO SOFTWARE TESTING, 2006, 3997 : 47 - 61
- [4] Probabilistic verification for "black-box" systems COMPUTER AIDED VERIFICATION< PROCEEDINGS, 2005, 3576 : 253 - 265
- [5] Probabilistic Black-Box Reachability Checking RUNTIME VERIFICATION (RV 2017), 2017, 10548 : 50 - 67
- [7] Generative causal explanations of black-box classifiers ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 33, NEURIPS 2020, 2020, 33
- [8] Modeling Black-Box Components with Probabilistic Synthesis GPCE '2020: PROCEEDINGS OF THE 19TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON GENERATIVE PROGRAMMING: CONCEPTS AND EXPERIENCES, 2020, : 1 - 14
- [9] Black-Box Policy Search with Probabilistic Programs ARTIFICIAL INTELLIGENCE AND STATISTICS, VOL 51, 2016, 51 : 1195 - 1204