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