Towards Correct-by-Construction Machine-Learnt Models

Download PDF

Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan

Published: 01 Jan 2024, Last Modified: 26 Jan 2025PhD@IFM 2024EveryoneRevisionsBibTeXCC BY-SA 4.0