Toggle navigation
OpenReview
.net
Login
×
Go to
DBLP
homepage
Towards Correct-by-Construction Machine-Learnt Models
Thomas Flinkow
,
Barak A. Pearlmutter
,
Rosemary Monahan
Published: 01 Jan 2024, Last Modified: 26 Jan 2025
PhD@IFM 2024
Everyone
Revisions
BibTeX
CC BY-SA 4.0
Loading