Search liu.se

John Törnblom at the Department of Computer and Information Science (IDA) defends his thesis entitled: "Efficient Formal Reasoning about the Trustworthiness of Tree Ensembles". Main Supervisor: Simin Nadjm-Tehrani, Professor, IDA Opponent:...