SCI '22

第66回 システム制御情報学会 研究発表講演会
TS07
社会システムの制御・計画・検証 (2)
5月20日(金) 11:00-12:15 @第1室
(セッション番号 321)
司会
  1. 榊原 一紀 (富山県立大学)
(講演番号 321-3) (講演登録番号 3027)
11:30
- 11:45
到達可能性解析と定理証明を用いたハイブリッドシステムの形式的検証の検討
  1. 浅井 智也 ,
  2. 中村 正樹 ,
  3. 榊原 一紀 (富山県立大学)
「到達可能性解析と定理証明を用いたハイブリッドシステムの形式的検証の検討」 の情報を共有
→