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