Peter Leven

	2004
5		Peter Leven, Tilman Mehler, Stefan Edelkamp: Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM. SPIN 2004: 39-56
	2002
4		Peter Leven, Seth Hutchinson: Using Manipulability to Bias Sampling during the Construction of Probabilistic Roadmaps. ICRA 2002: 2134-2140
3		Stefan Edelkamp, Peter Leven: Directed Automated Theorem Proving. LPAR 2002: 145-159
2		Peter Leven, Seth Hutchinson: A Framework for Real-time Path Planning in Changing Environments. I. J. Robotic Res. 21(12): 999-1030 (2002)
	1999
1		Peter Leven, Seth Hutchinson, Darius Burschka, Georg Färber: Perception-Based Motion Planning for Indoor Exploration. ICRA 1999: 695-

Coauthor Index

1	Darius Burschka	[1]
2	Stefan Edelkamp	[3] [5]
3	Georg Färber	[1]
4	Seth Hutchinson	[1] [2] [4]
5	Tilman Mehler	[5]

Colors in the list of coauthors