Dr. Martin Wehrle

I have left the Artificial Intelligence research group.

I received a diploma in computer science (comparable to M.Sc.) from the University of Freiburg in July 2006. From September 2006 to December 2011, I was a member of the Software Engineering group at the University of Freiburg, headed by Prof. Dr. Andreas Podelski. I defended my PhD dissertation in December 2011. Currently, I am a postdoctoral researcher at the University of Basel, where I am a member of the Artificial Intelligence group headed by Prof. Dr. Malte Helmert.

Research

My research is focused on the areas of automated planning and model checking. In particular, I am interested in the analysis, the design, and the application of (heuristic) search methods and state space pruning techniques for solving planning and model checking problems. Although such problems can occur in various shapes, they can be similar when considered from an abstract point of view. I am specifically interested in gaining a better understanding of their relationships, and based on this, in designing specialized problem solving algorithms.

Publications

Most of my publications are available online.
See also DBLP.

Tools

Mcta: A directed model checking tool for timed systems. Mcta applies heuristic search techniques with automatically generated distance heuristics to find short error traces in concurrent systems of timed automata. For more information, see the Mcta website.

Awards

SoCS 2016 Best Paper Award for the paper Sleep Sets Meet Duplicate Elimination (PDF) with Yusra Alkhazraji at the 9th Annual Symposium on Combinatorial Search (SoCS 2016).
Winner, Unsolvability IPC 2016 for the planning system Fast Downward Aidos (PDF) with Jendrik Seipp, Florian Pommerening, Silvan Sievers, Chris Fawcett and Yusra Alkhazraji at the 1st Unsolvability International Planning Competition (UIPC 2016) at ICAPS 2016.
AAAI 2014 Outstanding Paper Award Honorable Mention for the paper Generalized Label Reduction for Merge-and-Shrink Heuristics (PDF) with Silvan Sievers and Malte Helmert at the 28th AAAI Conference on Artificial Intelligence (AAAI 2014).
ICAPS 2013 Best Paper Award for the paper The Relative Pruning Power of Strong Stubborn Sets and Expansion Core (PDF) with Malte Helmert, Yusra Alkhazraji and Robert Mattmüller at the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013).
AI 2007 Best Paper Award for the paper Planning as Satisfiability with Relaxed E-Step Plans (PDF) with Jussi Rintanen at the 20th Australian Joint Conference on Artificial Intelligence (AI 2007).