Naviga IRIS

Sfoglia per Autore TACCHELLA, Armando

Ordina per:

In ordine:

Risultati/Pagina

Vai a una voce nell'indice:

O digita l'anno:

Mostrati risultati da 1 a 6 di 6

2019-01-01 Guidotti, D.; Leofante, F.; Tacchella, A.; Castellini, C.

2019-01-01 Guidotti, D.; Leofante, F.; Castellini, C.; Tacchella, A.

2021-01-01 Guidotti, D.; Cicala, G.; Gili, T.; Tacchella, A.

2022-01-01 Demarchi, S.; Guidotti, D.; Pitto, A.; Tacchella, A.

2023-01-01 Demarchi, Stefano; Guidotti, Dario; Pulina, Luca; Tacchella, Armando

2024-01-01 Demarchi, S.; Guidotti, D.; Pulina, L.; Tacchella, A.

Titolo	Data di pubblicazione	Autore(i)
Improving Reliability of Myocontrol Using Formal Verification	1-gen-2019	Guidotti, D.; Leofante, F.; Tacchella, A.; Castellini, C.
Repairing Learned Controllers with Convex Optimization: A Case Study	1-gen-2019	Guidotti, D.; Leofante, F.; Castellini, C.; Tacchella, A.
Telling faults from cyber-attacks in a multi-modal logistic system with complex network analysis	1-gen-2021	Guidotti, D.; Cicala, G.; Gili, T.; Tacchella, A.
Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control	1-gen-2022	Demarchi, S.; Guidotti, D.; Pitto, A.; Tacchella, A.
Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet	1-gen-2023	Demarchi, Stefano; Guidotti, Dario; Pulina, Luca; Tacchella, Armando
NeVer2: learning and verification of neural networks	1-gen-2024	Demarchi, S.; Guidotti, D.; Pulina, L.; Tacchella, A.

Mostrati risultati da 1 a 6 di 6