research
∙
05/21/2020
Unsupposable Test-data Generation for Machine-learned Software
As for software development by machine learning, a trained model is eval...
share
research
∙
04/26/2019
Formal Verification of Decision-Tree Ensemble Model and Detection of its Violating-input-value Ranges
As one type of machine-learning model, a "decision-tree ensemble model" ...
research
∙
11/09/2018
