Volume: Vol-3860 iFM-Phd 2024 | Year: 2024

Paper: « paper_3 | paper_4 | paper_5 »

Towards Correct-by-Construction Machine-Learnt Models

• Rosemary Monahan dblp
• Barak A. Pearlmutter ORCID dblp Wikidata
• Thomas Flinkow dblp

23-29 PDF