valco79

Valency Colaco

Doktorand

Publikationer

2023

Valency Colaco, Simin Nadjm-Tehrani (2023) Formal Verification of Tree Ensembles against Real-World Composite Geometric Perturbations Proceedings of the Workshop on Artificial Intelligence Safety 2023 (SafeAI 2023) co-located with the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), Artikel 38 (Konferensbidrag)

Om Avdelningen för programvara och system (SAS)

Kollegor vid SAS

Om Institutionen för datavetenskap (IDA)