TACCHELLA, Armando
 Distribuzione geografica
Continente #
AS - Asia 35
EU - Europa 3
NA - Nord America 2
Totale 40
Nazione #
SG - Singapore 18
HK - Hong Kong 12
CN - Cina 5
GB - Regno Unito 2
US - Stati Uniti d'America 2
LT - Lituania 1
Totale 40
Città #
Singapore 17
Hong Kong 12
Shanghai 5
London 1
Totale 35
Nome #
Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet 12
Improving Reliability of Myocontrol Using Formal Verification 8
Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control 7
Repairing Learned Controllers with Convex Optimization: A Case Study 7
Telling faults from cyber-attacks in a multi-modal logistic system with complex network analysis 7
NeVer2: learning and verification of neural networks 5
Totale 46
Categoria #
all - tutte 300
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 300


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2024/202546 0 0 0 9 12 13 12 0 0 0 0 0
Totale 46