DEMARCHI, STEFANO
DEMARCHI, STEFANO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.006 secondi).
A comparison of declarative AI techniques for computer automated design of elevator systems
2022-01-01 Cicala, G; Demarchi, S; Menapace, M; Annunziata, L; Tacchella, A
Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches
2021-01-01 Demarchi, S.; Menapace, M.; Tacchella, A.
Experimenting with Constraint Programming Techniques in Artificial Intelligence: Automated System Design and Verification of Neural Networks
2023-05-22 Demarchi, Stefano
Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control
2022-01-01 Demarchi, Stefano; Guidotti, Dario; Pitto, Andrea; Tacchella, Armando
NeVer2: learning and verification of neural networks
2024-01-01 Demarchi, S.; Guidotti, D.; Pulina, L.; Tacchella, A.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A comparison of declarative AI techniques for computer automated design of elevator systems | 1-gen-2022 | Cicala, G; Demarchi, S; Menapace, M; Annunziata, L; Tacchella, A | |
| Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches | 1-gen-2021 | Demarchi, S.; Menapace, M.; Tacchella, A. | |
| Experimenting with Constraint Programming Techniques in Artificial Intelligence: Automated System Design and Verification of Neural Networks | 22-mag-2023 | Demarchi, Stefano | |
| Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control | 1-gen-2022 | Demarchi, Stefano; Guidotti, Dario; Pitto, Andrea; Tacchella, Armando | |
| NeVer2: learning and verification of neural networks | 1-gen-2024 | Demarchi, S.; Guidotti, D.; Pulina, L.; Tacchella, A. |