| ISBN | 9798802742556 | ||
|---|---|---|---|
| 作者 | Musau, Patrick. | 授予学位单位 | Vanderbilt University. |
| 导师 | Johnson, Taylor | 学位 | Ph.D. |
| 学科 | Computer science. Electrical engineering. Robotics. | 国籍 | US |
| 页码/总页数 | 192 p. / 192 | 出版年 | 2022 |
| 中图分类号 | TN, TP | ||
| 关键词 | Formal verification Machine learning Reinforcement learning Runtime assurance Reachability analysis Uncertainty analysis Imitation learning Motion planning Anomaly detection Autonomous systems Cyberphysical system | ||
