Title: | Explaining Predictions From Tree Ensembles with Satisfying Assignments |
DNr: | LiU-compute-2022-14 |
Project Type: | LiU Compute |
Principal Investigator: | John Törnblom <john.tornblom@liu.se> |
Affiliation: | Linköpings universitet |
Duration: | 2022-04-18 – 2023-05-01 |
Classification: | 10201 |
Homepage: | https://liu.se/en/article/verifikation-av-larande-mjukvara-for-sakerhetskritiska-system |
Keywords: |