熱門搜尋
| 分類(單選) |
顯示所有篩選
|
|---|---|
| 配送方式(可複選) | |
| 其他(可複選) |
搜尋結果共 4 筆, 頁數 1 / 1
- 列表
- 小圖
呈現:
|
Formal Methods for Discrete-Time Dynamical Systems
Transition Systems.- Temporal Logics and Automata.- Model Checking.- Largest Finite Satisfying Regio... more |
||
|
Formal Methods for Discrete-Time Dynamical Systems
Transition Systems.- Temporal Logics and Automata.- Model Checking.- Largest Finite Satisfying Regio... more |
||
|
Adaptive and Learning-Based Control of Safety-Critical Systems
This book stems from the growing use of learning-based techniques, such as reinforcement learning an... more |
||
|
Safe Autonomy with Control Barrier Functions: Theory and Applications
This book presents the concept of Control Barrier Function (CBF), which captures the evolution of sa... more |
