| |
| 2004 | ||
|---|---|---|
| 5 | EE | 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 | EE | 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- | |
| 1 | Darius Burschka | [1] |
| 2 | Stefan Edelkamp | [3] [5] |
| 3 | Georg Färber | [1] |
| 4 | Seth Hutchinson | [1] [2] [4] |
| 5 | Tilman Mehler | [5] |