Index Catalog // Digital WPI

INTERACTIVE ROUTE-PLANNING AND MOBILE SENSING WITH A TEAM OF MULTIPLE ROBOTIC VEHICLES TO SATISFY LINEAR TEMPORAL LOGIC SPECIFICATIONS

1 of 3

Interactive Planning and Sensing for Aircraft in Uncertain Environments with Spatiotemporally Evolving Threats

2 of 3

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

3 of 3

Limit your search