Formal verification of input-output mappings of tree ensembles

标题

作者

关键词

Formal verification, Decision tree, Tree ensemble, Random forest, Gradient boosting machine

出版物

Volume 194, Issue -, Pages 102450

出版商

Elsevier BV

发表日期

2020-03-20

DOI

10.1016/j.scico.2020.102450

联系作者

Discuss science. Find collaborators. Network.

Join a conversation

The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.

Get Started