瀏覽 的方式: 作者 Zih-Ming Li
顯示 1 到 1 筆資料,總共 1 筆
| 出版年 | 標題 | 作者 | 系所 |
|---|---|---|---|
| 2025 | 基於混合自動機的多台自駕車系統相容性驗證框架 A Hybrid-Automata-Based Verification Framework for Compatibility of Autonomous Multi-Vehicle Systems | 李子明; Zih-Ming Li | 資訊工程學系 |
| 出版年 | 標題 | 作者 | 系所 |
|---|---|---|---|
| 2025 | 基於混合自動機的多台自駕車系統相容性驗證框架 A Hybrid-Automata-Based Verification Framework for Compatibility of Autonomous Multi-Vehicle Systems | 李子明; Zih-Ming Li | 資訊工程學系 |