DEMARCHI, STEFANO
DEMARCHI, STEFANO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.001 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 |