Vol-3202⫷ Vol-3203 ⫸Vol-3204
urn:nbn:de:0074-3203-0


Vol-3203/short2⫷Vol-3203/paper4⫸Vol-3203/paper5

Model Checking Verification of MultiLayer Perceptrons in Datalog: a Many-valued Approach with Typicality