Login / Signup
Junya Shijubo
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 4
Top Topics
Computation Tree Logic
Timed Automata
Model Checking
Black Boxes
Top Venues
CoRR
ACM Trans. Embed. Comput. Syst.
RV
</>
Publications
</>
Junya Shijubo
,
Masaki Waga
,
Kohei Suenaga
Probabilistic Black-Box Checking via Active MDP Learning.
ACM Trans. Embed. Comput. Syst.
22 (5s) (2023)
Junya Shijubo
,
Masaki Waga
,
Kohei Suenaga
Probabilistic Black-Box Checking via Active MDP Learning.
CoRR
(2023)
Junya Shijubo
,
Masaki Waga
,
Kohei Suenaga
Efficient Black-Box Checking via Model Checking with Strengthened Specifications.
CoRR
(2021)
Junya Shijubo
,
Masaki Waga
,
Kohei Suenaga
Efficient Black-Box Checking via Model Checking with Strengthened Specifications.
RV
(2021)