Vol-4141⫷ Vol-4142 ⫸Vol-4143
urn:nbn:de:0074-4142-0


Vol-4142/xpreface⫷Vol-4142/paper1⫸Vol-4142/paper2
Greta DolcettiVincenzo ArceriAgostino CortesiEnea Zaffanella

On the Verification of ML Systems and Models