Index Catalog // Hyrax

Cancellare i filtri

Filtro per: Parola chiave Linear Temporal Logic Specifications

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

Parola chiave:

Motion Planning and Linear Temporal Logic Specifications

Creatore:

Zhang, Zetian

Advisor:

Cowlagi, Raghvendra V.

Editore:

Worcester Polytechnic Institute

data di creazione:

2018-12-14

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

Aerospace Engineering