Junya Shijubo | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Kohei Suenaga
19 publications
Masaki Waga
12 publications

research

∙ 07/15/2023

Probabilistic Black-Box Checking via Active MDP Learning

We introduce a novel methodology for testing stochastic black-box system...

0 Junya Shijubo, et al. ∙

research

∙ 09/10/2021

Efficient Black-Box Checking via Model Checking with Strengthened Specifications

Black-box checking (BBC) is a testing method for cyber-physical systems ...

0 Junya Shijubo, et al. ∙