Login / Signup
Satoshi Munakata
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 5
Top Topics
Semantically Meaningful
Neural Network
Semantic Knowledge
Production Scheduling
Top Venues
CoRR
ICAART (2)
APSEC
ICSE Companion
</>
Publications
</>
Satoshi Munakata
,
Susumu Tokumoto
,
Koji Yamamoto
,
Kazuki Munakata
Towards Formal Repair and Verification of Industry-scale Deep Neural Networks.
ICSE Companion
(2023)
Satoshi Munakata
,
Caterina Urban
,
Haruki Yokoyama
,
Koji Yamamoto
,
Kazuki Munakata
Verifying Attention Robustness of Deep Neural Networks Against Semantic Perturbations.
NFM
(2023)
Satoshi Munakata
,
Caterina Urban
,
Haruki Yokoyama
,
Koji Yamamoto
,
Kazuki Munakata
Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations.
CoRR
(2022)
Satoshi Munakata
,
Caterina Urban
,
Haruki Yokoyama
,
Koji Yamamoto
,
Kazuki Munakata
Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations.
APSEC
(2022)
Takanari Seito
,
Satoshi Munakata
Production Scheduling based on Deep Reinforcement Learning using Graph Convolutional Neural Network.
ICAART (2)
(2020)