Safety verification and validation Driving behavior Driving behavior modeling for creating realistic simulations Explainable runtime monitoring Monitoring for runtime safety while delivering failure explanations and fail-safe solutions Verification and validation Methodology development for safety verification and validation Safety by design Interpretable prediction Designing interpretable goal recognition for autonomous vehicles Explainable AI Causal explanation of autonomous vehicle decision-making