榊原 一紀 氏の講演一覧
11:30
- 11:45
到達可能性解析と定理証明を用いたハイブリッドシステムの形式的検証の検討
A preliminary study of formal verification of hybrid systems using reachability analysis and theorem proof
11:45
- 12:00
自動運転システムのSimulinkによるモデル化とSpaceExによる形式的検証
Modeling of autonomous driving systems using Simulink and their verification using SpaceEx
16:00
- 16:15
自動運転車群運行の全体最適化のための機械学習を用いたモデル予測制御
Model Predictive Control Using Machine Learning for Total Optimization of Multiple Autonomous Vehicle Systems
15:15
- 15:30
タンパク質可溶化予測のための機械学習モデルの形式概念分析による可視化
Visualization of machine learning models for predicting protein solubilization using formal concept analysis