共 20 条
[2]
Anisetti M., 2023, P MEDES
[4]
A Methodology for Non-Functional Property Evaluation of Machine Learning Models
[J].
12TH INTERNATIONAL CONFERENCE ON MANAGEMENT OF DIGITAL ECOSYSTEMS, MEDES 2020,
2020,
:38-45
[7]
Certified Machine-Learning Models
[J].
SOFSEM 2020: THEORY AND PRACTICE OF COMPUTER SCIENCE,
2020, 12011
:3-15
[8]
European Commission, 2021, 2021/0106(COD)-Proposal for a Regulation of the European Parliament and of the Council laying down harmonised rules on artificial intelligence (Artificial Intelligence Act) and amending certain Union legislative acts
[9]
Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification
[J].
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: ENGINEERING PRINCIPLES, ISOLA 2020, PT II,
2020, 12477
:416-439
[10]
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation
[J].
2018 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP),
2018,
:3-18