Index Catalog // Hyrax

Remover filtros

Filtragem por: Contributor Demetriou, Michael A. O Criador Zhang, Zetian

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

Palavra-chave:

Motion Planning and Linear Temporal Logic Specifications

O Criador:

Zhang, Zetian

Advisor:

Cowlagi, Raghvendra V.

Editor:

Worcester Polytechnic Institute

Data Criada:

2018-12-14

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

Aerospace Engineering