DEMARCHI, STEFANO
DEMARCHI, STEFANO
100025 - Dipartimento di ingegneria meccanica, energetica, gestionale e dei trasporti
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.003 secondi).
Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches
2021-01-01 Demarchi, S.; Menapace, M.; Tacchella, A.
Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control
2022-01-01 Demarchi, Stefano; Guidotti, Dario; Pitto, Andrea; Tacchella, Armando
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches | 1-gen-2021 | Demarchi, S.; Menapace, M.; Tacchella, A. | |
| Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control | 1-gen-2022 | Demarchi, Stefano; Guidotti, Dario; Pitto, Andrea; Tacchella, Armando |