Examples# Efficient Reachability on a Neural Network Controlled Vehicle Using GPU Parallelization Robust Optimal Control on a Pendulum Using Automatic Differentiation