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

    TEMA Building, Linköping University Olaus Magnus väg 30, 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