Dr. Martin Wehrle

Dr. Martin Wehrle
I have left the research group for Artificial Intelligence!
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.


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.



  • 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.