[学位论文]
  • Ilyes, R. B.
  • University of Colorado at Boulder.
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