Peter Leven

Publication Activity (10 Years)

Years Active: 1999-2004
Publications (10 Years): 0

University of Freiburg (PHD)

Education History

University of Freiburg

PHD

Publications

Peter Leven, Tilman Mehler, Stefan Edelkamp
Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM. SPIN (2004)
Peter Leven, Seth Hutchinson
Using manipulability to bias sampling during the construction of probabilistic roadmaps. IEEE Trans. Robotics Autom. 19 (6) (2003)
Peter Leven, Seth Hutchinson
Using Manipulability to Bias Sampling during the Construction of Probabilistic Roadmaps. ICRA (2002)
Peter Leven, Seth Hutchinson
A Framework for Real-time Path Planning in Changing Environments. Int. J. Robotics Res. 21 (12) (2002)
Stefan Edelkamp, Peter Leven
Directed Automated Theorem Proving. LPAR (2002)
Peter Leven, Seth Hutchinson
Robust, compact representations for real-time path planning in changing environments. IROS (2001)
Peter Leven, Seth Hutchinson, Darius Burschka, Georg Färber
Perception-Based Motion Planning for Indoor Exploration. ICRA (1999)