Toshiaki Aoki | DeepAI

DeepAI

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

Featured Co-authors

Daisuke Ishii
9 publications
Takashi Tomita
3 publications
The Quyen Ngo
1 publication
Thi Bich Ngoc Do
1 publication
Hideaki Takai
1 publication
Kenji Onishi
1 publication

research

∙ 06/07/2022

SMT-Based Model Checking of Industrial Simulink Models

The development of embedded systems requires formal analysis of models s...

0 Daisuke Ishii, et al. ∙

research

∙ 12/10/2021

Compositional Test Generation of Industrial Synchronous Systems

Synchronous systems provide a basic model of embedded systems and indust...

0 Daisuke Ishii, et al. ∙

research

∙ 12/06/2021

Approximate Translation from Floating-Point to Real-Interval Arithmetic

Floating-point arithmetic (FPA) is a mechanical representation of real a...

0 Daisuke Ishii, et al. ∙