My main research interests are in Artificial Intelligence
Model Checking. In particular, I am interested in the synergy between the areas
of planning and verification, with a particular focus on hybrid systems,
robotics, and cyber physical systems.
More specifically, I work on
temporal-continuous planning, planning under uncertainty, planning-as-model-checking, directed model checking,
policy learning, hybrid control, reinforcement learning, heuristic search, geometric reasoning, path planning.
I am also interested in Formal Methods (dealing with automata,
verification, decision diagrams, graph algorithms) and Intelligent Information Acquisition (dealing with information
extraction, spatial relations, visual reasoning, spatial/temporal reasoning).
Please have a look at the applications page for some examples of projects I am currently
Recently I have been working on hybrid systems planning and on
applications of planning to policy-learning for control of real systems (with Maria
Fox and Derek Long).
In 2011, I have received the ICAPS best paper award for the paper "Automatic Construction of Efficient
Multiple Battery Usage Policies" (with Maria and Derek).