Continuous Verification of Machine Learning: a Declarative Programming Approach.

Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz

Browse the full PPDP paper archive.