Safety verification of nonlinear systems
Automated driving safety validation
Reliability of AI systems
Automated driving
Belief state planning in high dimensional spaces