TY  - RPRT
TI  - DeepSaucer: Unified Environment for Verifying Deep Neural Networks
AU  - Naoto Sato
AU  - Hironobu Kuruma
AU  - Masanori Kaneko
AU  - Yuichiroh Nakagawa
AU  - Hideto Ogawa
AU  - Thai Son Hoang
AU  - Michael Butler
PY  - 2018
UR  - https://arxiv.org/abs/1811.03752
ID  - 1811.03752
ER  -