Thai Son Hoang | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Ion Petre
4 publications
Naoto Sato
4 publications
Hironobu Kuruma
3 publications
Hideto Ogawa
3 publications
Usman Sanwal
2 publications
Simon Hudon
2 publications
Yuichiroh Nakagawa
2 publications
Michael Butler
2 publications
Luigia Petre
1 publication
Jonathan S. Ostroff
1 publication
Masanori Kaneko
1 publication

research

∙ 05/20/2021

Towards Scalable Modeling of Biology in Event-B

Biology offers many examples of large-scale, complex, concurrent systems...

0 Usman Sanwal, et al. ∙

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

∙ 10/24/2018

The Unit-B Method --- Refinement Guided by Progress Concerns

We present Unit-B, a formal method inspired by Event-B and UNITY. Unit-B...

0 Simon Hudon, et al. ∙