Index Catalog // Hyrax

Filter löschen

Filtern nach: Schöpfer Zhang, Zetian Stichwort Linear Temporal Logic Specifications

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

Stichwort:

Motion Planning and Linear Temporal Logic Specifications

Schöpfer:

Zhang, Zetian

Advisor:

Cowlagi, Raghvendra V.

Herausgeber:

Worcester Polytechnic Institute

Datum erstellt:

2018-12-14

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

Aerospace Engineering