TACCHELLA, Armando
 Distribuzione geografica
Continente #
AS - Asia 4
Totale 4
Nazione #
SG - Singapore 4
Totale 4
Città #
Singapore 3
Totale 3
Nome #
Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet 5
Improving Reliability of Myocontrol Using Formal Verification 1
Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control 1
Repairing Learned Controllers with Convex Optimization: A Case Study 1
Telling faults from cyber-attacks in a multi-modal logistic system with complex network analysis 1
Totale 9
Categoria #
all - tutte 90
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 90


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2024/20259 0 0 0 9 0 0 0 0 0 0 0 0
Totale 9