Towards Correct-by-Construction Machine-Learnt Models.

Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan

Browse the full IFM paper archive.