Photo of Valency Colaco

Valency Colaco

PhD student



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

About the Division for Software and Systems (SAS)

Colleagues at SAS

About the Department of Computer and Information Science (IDA)