HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:David Boetius

Publications
Verifying Global Neural Network Specifications using Hyperproperties
David Boetius and Stefan Leue
In:Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems

Keyphrases

deep learning, Hyperproperties, Neural Network Verification, Safe Machine Learning, Trustworthy Machine Learning.

Copyright © 2012-2025 easychair.org. All rights reserved.