planning, optimization, logic, temporal, mixed discrete-continuous
2014 – Present
 
planning, optimal control, hybrid systems
2014 – Present
 
planning, uncertainty, optimization
2010 – Present
 
planning, intention recognition
2008 – Present
 
SAT, CSP, optimization
2006 – Present