Formal verification of input-output mappings of tree ensembles
Year: 2020
Type: article
Source: Science of Computer Programming
Authors: John Törnblom, Simin Nadjm-Tehrani
Institution: Linköping University
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W3012300836