Michael Butler | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Naoto Sato
4 publications
Thai Son Hoang
3 publications
Hironobu Kuruma
3 publications
Hideto Ogawa
3 publications
Yuichiroh Nakagawa
2 publications
Abdolbaghi Rezazadeh
1 publication
Masanori Kaneko
1 publication
Ahmed Al-Brashdi
1 publication

research

∙ 11/09/2018

DeepSaucer: Unified Environment for Verifying Deep Neural Networks

In recent years, a number of methods for verifying DNNs have been develo...

0 Naoto Sato, et al. ∙

research

∙ 05/15/2018

Incremental Database Design using UML-B and Event-B

Correct operation of many critical systems is dependent on the data cons...

0 Ahmed Al-Brashdi, et al. ∙