SCI '22

第66回 システム制御情報学会 研究発表講演会
TS07
社会システムの制御・計画・検証 (2)
5月20日(金) 11:00-12:15 @第1室
(セッション番号 321)
司会
  1. 榊原 一紀 (富山県立大学)
(講演番号 321-4) (講演登録番号 3038)
11:45
- 12:00
自動運転システムのSimulinkによるモデル化とSpaceExによる形式的検証
  1. 甲斐 雅也 ,
  2. 中村 正樹 ,
  3. 榊原 一紀 (富山県立大学)
「自動運転システムのSimulinkによるモデル化とSpaceExによる形式的検証」 の情報を共有
→