| プログラム ナンバー |
情-1-8 |
|---|---|
| 報告年度 | 2024年度 |
| 部会 | 情報工学部会 |
| 題目 | 協調動作を行う1次元系における追従ロボット2台に対するSPINを用いたモデル検査 |
| 著者名 | 佐藤広大、関澤俊弦 |
| キーワード | さとうこうだい、せきざわとしふさ、モデル検査、SPIN、1次元系、協調動作、追従問題 |
| 講演要旨 | PDF |
| プログラム ナンバー |
情-1-8 |
|---|---|
| 報告年度 | 2024年度 |
| 部会 | 情報工学部会 |
| 題目 | 協調動作を行う1次元系における追従ロボット2台に対するSPINを用いたモデル検査 |
| 著者名 | 佐藤広大、関澤俊弦 |
| キーワード | さとうこうだい、せきざわとしふさ、モデル検査、SPIN、1次元系、協調動作、追従問題 |
| 講演要旨 | PDF |