MPG.eBooks - Search Results - (((( accounting accounting ) or ( counter accounting ))) or ( engineering account ))

Search alternatives:
accounting accounting » accounting auditing
engineering account » engineering agent , engineering adult , engineering across
counter accounting » county accounting , center accounting , countries accounting

Cover Image

1

Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July...

Published 2022

Springer International Publishing

Table of Contents: “...-time Certification of Local Robustness -- CEG4N: Counter-Example Guided Neural Network Quantization...”