Formal verification of input-output mappings of tree ensembles
John Törnblom, Simin Nadjm‐Tehrani
Topics & Concepts
Computer scienceScalabilityTree (set theory)Decision treeMachine learningEquivalence (formal languages)Artificial intelligenceTree traversalSoftwareTheoretical computer scienceData miningAlgorithmProgramming languageDatabaseMathematicsPhilosophyLinguisticsMathematical analysisAdversarial Robustness in Machine LearningExplainable Artificial Intelligence (XAI)Software Reliability and Analysis Research