共 50 条
- [35] VERIFAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems COMPUTER AIDED VERIFICATION, CAV 2019, PT I, 2019, 11561 : 432 - 442
- [36] Artificial intelligence-based ultrasound elastography for disease evaluation - a narrative review FRONTIERS IN ONCOLOGY, 2023, 13