ISBN | 9798368437170 | ||
---|---|---|---|
作者 | Ilyes, R. B. | 授予学位单位 | University of Colorado at Boulder. |
导师 | Lahijanian, Morteza | 学位 | M.S. |
学科 | Robotics. Logic. Aerospace engineering. | 国籍 | US |
页码/总页数 | 49 p. / 49 | 出版年 | 2022 |
中图分类号 | V1 | ||
关键词 | Formal methods Formal verification Motion planning Robustness Temporal logic |