Sfoglia per Autore
Mostrati risultati da 1 a 1 di 1
| Tipologia | Anno | Titolo | Titolo inglese | Autore | File |
|---|---|---|---|---|---|
| Lauree magistrali | 2024 | Deep Learning Meets Formal Methods: A Certified Neural Network Synthesis Approach for Airborne Collision Avoidance | Deep Learning Meets Formal Methods: A Certified Neural Network Synthesis Approach for Airborne Collision Avoidance | MURARO, ENRICO |
Mostrati risultati da 1 a 1 di 1
Legenda icone
- file ad accesso aperto
- file ad accesso riservato
- file sotto embargo
- nessun file disponibile