DEMARCHI, Stefano
DEMARCHI, Stefano
SCIENZE CHIMICHE, FISICHE, MATEMATICHE E NATURALI
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.0 secondi).
Counter-Example Guided Abstract Refinement for Verification of Neural Networks
2022-01-01 Demarchi, S.; Guidotti, D.
Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control
2022-01-01 Demarchi, S.; Guidotti, D.; Pitto, A.; Tacchella, A.
NeVer2: learning and verification of neural networks
2024-01-01 Demarchi, S.; Guidotti, D.; Pulina, L.; Tacchella, A.
Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet
2023-01-01 Demarchi, Stefano; Guidotti, Dario; Pulina, Luca; Tacchella, Armando
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Counter-Example Guided Abstract Refinement for Verification of Neural Networks | 1-gen-2022 | Demarchi, S.; Guidotti, D. | |
| Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control | 1-gen-2022 | Demarchi, S.; Guidotti, D.; Pitto, A.; Tacchella, A. | |
| NeVer2: learning and verification of neural networks | 1-gen-2024 | Demarchi, S.; Guidotti, D.; Pulina, L.; Tacchella, A. | |
| Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet | 1-gen-2023 | Demarchi, Stefano; Guidotti, Dario; Pulina, Luca; Tacchella, Armando |