• PhD Defense: Efficient Formal Reasoning about the Trustworthiness of Tree Ensembles

    TEMCAS, TEMA Building, Campus Valla, Linköping TEMCAS, TEMA Building, Campus Valla, Linköping, Linköping, Sweden

    Welcome to the doctoral defense of John Törnblom Date and time: August 25th, 13:15 Location: TEMCAS, TEMA Building, Campus Valla, Linköping Doctoral student: John Törnblom, Department of Computer and Information Science (IDA), Linköping University Title: Efficient Formal Reasoning about the Trustworthiness of Tree Ensembles