Index Catalog // 蹄兔

清除筛选

筛选: 关键词 Linear Temporal Logic Specifications

Motion-Planning and Control of Autonomous Vehicles to Satisfy Linear Temporal Logic Specifications

关键词:

Motion Planning and Linear Temporal Logic Specifications

创造者:

Zhang, Zetian

Advisor:

Cowlagi, Raghvendra V.

出版者:

Worcester Polytechnic Institute

创建日期:

2018-12-14

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

Aerospace Engineering