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