瀏覽 的方式： 作者 Hung-Ling Liu
顯示 1 到 1 筆資料，總共 1 筆
| 出版年 | 標題 | 作者 | 系所 |
|---|---|---|---|
| 2025 | PSPACE 完備運動規劃之形式方法：以倉庫番為案例研究 Formal Methods for PSPACE-Complete Motion Planning: A Sokoban Case Study | 劉虹伶; Hung-Ling Liu | 電機工程學系 |
| 出版年 | 標題 | 作者 | 系所 |
|---|---|---|---|
| 2025 | PSPACE 完備運動規劃之形式方法：以倉庫番為案例研究 Formal Methods for PSPACE-Complete Motion Planning: A Sokoban Case Study | 劉虹伶; Hung-Ling Liu | 電機工程學系 |