AI and Sustainability
Using AI for the development of sustainable resource projects
Research
POMDP Planning
Innovations in solving POMDPs with large state, action, and observation spaces
Safety Validation
Using formal and approximate techniques to validate safety-critical autonomy