Y. Nakagawa

Simplified Influence Evaluation of Additional Training on Deep Neural Networks

H. Ogawa, Naoto Sato, Hironobu Kuruma, 2018, WESPr-iMLSE@APSEC.

Formal Verification of Decision-Tree Ensemble Model and Detection of its Violating-input-value Ranges

Naoto Sato, Hironobu Kuruma, Yuichiroh Nakagawa, 2019, ArXiv.