 |
Room Phone Fax Mail |
Research
I'm a Ph.D. student at the Chair of Software Engineering, Institute of Computer Science, University of Freiburg. I'm member of the Transregional Collaborative Research Center AVACS. My research interests include model checking and AI Planning.
Publications
- Martin Wehrle, Sebastian Kupferschmid, and Andreas Podelski, Useless Actions are Useful, In Proceedings of the 18th International Conference on Automated Planning and Scheduling (ICAPS 2008), 2008, accepted for publication
- Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel, and Andreas Podelski, Faster than Uppaal?, In Aarti Gupta and Sharad Malik, editors, Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008), Lecture Notes in Computer Science 5123, pages 552-555, Springer-Verlag, 2008.
- Martin Wehrle and Jussi Rintanen, Planning as satisfiability with relaxed E-step plans, In Mehmet Orgun and John Thornton, editors, AI 2007 : Advances in Artificial Intelligence: 20th Australian Joint Conference on Artificial Intelligence, Proceedings, Lecture Notes in Computer Science 4830, pages 244-253, Springer Verlag, 2007. The winner of the AI 2007 Best Paper Award
Teaching
- Tutorials for the lecture Verification (WS 07/08)
- Tutorials for the lecture Verification (WS 06/07)