● Neuro-symbolic learning and reasoning for assured, resilient autonomy ● Systems that learn and adapt in the field ● Sim-to-real transfer for assured AI and autonomy ● Runtime assurance and monitoring ● Safe learning and control for autonomous and AI-enabled systems ...