Picture for Frank J. Jiang

Frank J. Jiang

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis

Add code
May 18, 2024
Viaarxiv icon

Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability

Add code
Apr 12, 2024
Viaarxiv icon

Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information

Add code
Sep 15, 2021
Figure 1 for Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information
Figure 2 for Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information
Figure 3 for Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information
Figure 4 for Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information
Viaarxiv icon

Learning Quadrotor Dynamics Using Neural Network for Flight Control

Add code
Oct 19, 2016
Figure 1 for Learning Quadrotor Dynamics Using Neural Network for Flight Control
Figure 2 for Learning Quadrotor Dynamics Using Neural Network for Flight Control
Figure 3 for Learning Quadrotor Dynamics Using Neural Network for Flight Control
Figure 4 for Learning Quadrotor Dynamics Using Neural Network for Flight Control
Viaarxiv icon