Heuristic Optimization and Dynamical System Safety Verification

Todd W. Neller

Knowledge Systems Laboratory

Stanford University

Next slide

Back to first slide

View graphic version