Jin Matsuzaki, Kazutoshi Sakakibara, Masaki Nakamura, Shinya Watanabe. Large neighborhood local search method with MIP techniques for large-scale machining scheduling with many constraints. The Journal of Supercomputing. 2024
Yifan Wang, Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura. Formal Specification and Verification of an Autonomous Vehicle Control System by the OTS/CafeOBJ method (S). International Conferences on Software Engineering and Knowledge Engineering. 2023
Yifan Wang, Masaki Nakamura, Kazutoshi Sakakibara. Investigation of Formal Verification of the Autonomous Vehicle Control System by Specification Translation. 2023 International Technical Conference on Circuits/Systems, Computers, and Communications (ITC-CSCC). 2023
浅井 智也, 中村 正樹, 榊原 一紀. 到達可能性解析と定理証明を用いたハイブリッドシステムの形式的検証の検討-A preliminary study of formal verification of hybrid systems using reachability analysis and theorem proof. システム制御情報学会研究発表講演会講演論文集. 2022. 66. 801-806
吉田 暉, 松崎 仁平, 榊原 一紀, 中村 正樹. 自動運転車群運行の全体最適化のための機械学習を用いたモデル予測制御-Model Predictive Control Using Machine Learning for Total Optimization of Multiple Autonomous Vehicle Systems. システム制御情報学会研究発表講演会講演論文集. 2022. 66. 1032-1039
北條 佑斗, 鈴木 皓大, 榊原 一紀, 中村 正樹, 渡邉 幸夫, 篠田 優, 浅野 泰久. タンパク質可溶化予測のための機械学習モデルの形式概念分析による可視化-Visualization of machine learning models for predicting protein solubilization using formal concept analysis. システム制御情報学会研究発表講演会講演論文集. 2022. 66. 1118-1125
甲斐 雅也, 中村 正樹, 榊原 一紀. 自動運転システムのSimulinkによるモデル化とSpaceExによる形式的検証-Modeling of autonomous driving systems using Simulink and their verification using SpaceEx. システム制御情報学会研究発表講演会講演論文集. 2022. 66. 807-813