Graphs, Symmetry, Relaxation, and the Limits of Learned Algorithms

Control, Safe Learning, Verification, and Runtime Assurance

Detection, Containment, Recovery, and Re-entry

Interaction, Learning, Memory, and Control