Vol-3344⫷ Vol-3345 ⫸Vol-3346
urn:nbn:de:0074-3345-0


Vol-3345/paper8_RiCeRCa1⫷Vol-3345/paper9_RiCeRCa2⫸Vol-3345/paper10_RiCeRCa3
Dario GuidottiLuca PulinaKatiuscia ZeddaRomina EramoLaura PandolfoTiziana Fanni

Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project (Short Paper).