Index Catalog // Digital WPI

Start Over

Filtering by: Contributor Demetriou, Michael A. Creator Zhang, Zetian

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

Keyword:

Motion Planning and Linear Temporal Logic Specifications

Creator:

Zhang, Zetian

Advisor:

Cowlagi, Raghvendra V.

Publisher:

Worcester Polytechnic Institute

Date Created:

2018-12-14

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

Aerospace Engineering