no code implementations • 21 May 2020 • Naoto Sato, Hironobu Kuruma, Hideto Ogawa
If unsupposable data is included in the data generated by the decoder, the developer can recognize new unsupposable features by referring to the data.
no code implementations • 26 Apr 2019 • Naoto Sato, Hironobu Kuruma, Yuichiroh Nakagawa, Hideto Ogawa
Given that necessity, in this paper, we propose a method for formally verifying a DTEM and, according to the result of the verification, if an input value leading to a failure is found, extracting the range in which such an input value exists.
no code implementations • 9 Nov 2018 • Naoto Sato, Hironobu Kuruma, Masanori Kaneko, Yuichiroh Nakagawa, Hideto Ogawa, Thai Son Hoang, Michael Butler
To apply a number of methods to the DNN, it is necessary to translate either the implementation of the DNN or the verification method so that one runs in the same environment as the other.