共 50 条
- [1] Scenario-Based Set Invariance Verification for Black-Box Nonlinear Systems IEEE CONTROL SYSTEMS LETTERS, 2021, 5 (01): : 193 - 198
- [2] Quantum Teleportation, Entanglement, and Bell Nonlocality in Unruh Channel IRANIAN JOURNAL OF SCIENCE AND TECHNOLOGY TRANSACTION A-SCIENCE, 2021, 45 (04): : 1467 - 1473
- [3] Quantum Teleportation, Entanglement, and Bell Nonlocality in Unruh Channel Iranian Journal of Science and Technology, Transactions A: Science, 2021, 45 : 1467 - 1473
- [5] Probabilistic verification for "black-box" systems COMPUTER AIDED VERIFICATION< PROCEEDINGS, 2005, 3576 : 253 - 265
- [6] On Black-Box Explanation for Face Verification 2022 IEEE WINTER CONFERENCE ON APPLICATIONS OF COMPUTER VISION (WACV 2022), 2022, : 1194 - 1203
- [7] Verification of Bell nonlocality by violating quantum monogamy relations CELL REPORTS PHYSICAL SCIENCE, 2024, 5 (03):
- [9] Architectural verification of black-box component-based systems RAPID INTEGRATION OF SOFTWARE ENGINEERING TECHNIQUES, 2007, 4401 : 98 - +
- [10] Verification of GUI Applications: A Black-Box Approach LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: TECHNOLOGIES FOR MASTERING CHANGE, PT I, 2014, 8802 : 236 - 252