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


Vol-3203/short2⫷Vol-3203/paper4⫸Vol-3203/paper5
Francesco BartoliMarco BottaRoberto EspositoLaura Giordano 0001Daniele Theseider Dupré

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