Browsing by Author Hung-Ling Liu
Showing results 1 to 1 of 1
| Publication Year | Title | Author(s) | Department |
|---|---|---|---|
| 2025 | PSPACE 完備運動規劃之形式方法：以倉庫番為案例研究 Formal Methods for PSPACE-Complete Motion Planning: A Sokoban Case Study | 劉虹伶; Hung-Ling Liu | 電機工程學系 |