valco79

Valency Colaco

PhD student

Publications

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), Article 38 (Conference paper)

About the Division for Software and Systems (SAS)

Colleagues at SAS

About the Department of Computer and Information Science (IDA)