An Experimental Evaluation on Runtime Verification of Self-adaptive Systems in the Presence of Uncertain Transition Probabilities. - Kento Ogawa; Hiroyuki Nakagawa; Tatsuhiro Tsuchiya (SEFM Workshops, 2015)

Caching Strategies for Run-time Probabilistic Model Checking. - Hiroyuki Nakagawa; Kento Ogawa; Tatsuhiro Tsuchiya (Models@run.time, 2016)

Effect of self-representation of interaction history by the robot on perceptions of mind and positive relationship: a case study on a home-use robot. - Hamed Mahzoon; Kohei Ogawa; Yuichiro Yoshikawa; Michiko Tanaka; Kento Ogawa; Ryouta Miyazaki; Yusaku Ota; Hiroshi Ishiguro (Adv. Robotics, 2019)

Wreath Products and Projective System of non-Schurian Association Schemes. - Makoto Matsumoto; Kento Ogawa (Electron. J. Comb., 2024)