Martin Wehrle

	2009
5		Martin Wehrle, Malte Helmert: The Causal Graph Revisited for Directed Model Checking. SAS 2009: 86-101
4		Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski: Transition-Based Directed Model Checking. TACAS 2009: 186-200
	2008
3		Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel, Andreas Podelski: Faster Than Uppaal? CAV 2008: 552-555
2		Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski: Useless Actions Are Useful. ICAPS 2008: 388-395
	2007
1		Martin Wehrle, Jussi Rintanen: Planning as Satisfiability with Relaxed $-Step Plans. Australian Conference on Artificial Intelligence 2007: 244-253

Coauthor Index

1	Malte Helmert	[5]
2	Sebastian Kupferschmid	[2] [3] [4]
3	Bernhard Nebel	[3]
4	Andreas Podelski	[2] [3] [4]
5	Jussi Rintanen	[1]