Shion Maeda

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 2

Top Topics

Decision Making

Formal Verification

Top Venues

Publications

Shion Maeda, Misato Nakabayashi, Tetsuya Okuda
Architecture Design and Security Evaluation of Secure Optical Transport Network Using Formal Verification. COMPSAC (2022)
Shion Maeda, Nicolas Chauvet, Hayato Saigo, Hirokazu Hori, Guillaume Bachelier, Serge Huant, Makoto Naruse
Entangled and correlated photon mixed strategy for social decision making. CoRR (2020)