DEM: A Method for Certifying Deep Neural Network Classifier Outputs in
AerospaceSymposium on Dependable Autonomic and Secure Computing (DASC), 2024 |
Formal and Practical Elements for the Certification of Machine Learning
SystemsSymposium on Dependable Autonomic and Secure Computing (DASC), 2023 |