Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles
Control of multi-drone fleets with temporal logic objectives
CONTROL OF MULTI-DRONE FLEETS WITH TEMPORAL LOGIC OBJECTIVES
Drive Right: Autonomous Vehicle Education through an Integrated Simulation Platform