Synthesizing state machines from two scenarios and a case study on business process management. - Toshiki Kinoshita; Toshiyuki Miyamoto (SMC, 2017)

Realizability of Choreography Given by Two Scenarios. - Toshiki Kinoshita; Toshiyuki Miyamoto (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2018)

Effectiveness of a Driver Assistance System With Deceleration Control and Brake Hold Functions in Stop Sign Intersection Scenarios. - Yuichi Saito; Ryoma Yoshimi; Shinichi Kume; Xun Shen; Akito Yamasaki; Ryosuke Matsumi; Takuma Ito; Toshiki Kinoshita; Shintaro Inoue; Tsukasa Shimizu; Masao Nagai; Hideo Inoue; et al. (IEEE Trans. Intell. Transp. Syst., 2022)