Peter Leven

发表

Alain Souchier, Christophe Rothmund, Peter Leven, 1999 .

Using manipulability to bias sampling during the construction of probabilistic roadmaps

Seth Hutchinson, Peter Leven, S. Hutchinson, 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

A Multithreaded Implementation Of A Robot Control C Library

Peter Leven, 1997 .

Perception-based motion planning for indoor exploration

Darius Burschka, Seth Hutchinson, Georg Färber, 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).

Toward real-time path planning in changing environments

Scott Alan Hutchinson, Peter Leven, S. Hutchinson, 2000 .

A Framework for Real-time Path Planning in Changing Environments

Seth Hutchinson, Peter Leven, S. Hutchinson, 2002, Int. J. Robotics Res..

Directed Automated Theorem Proving

Stefan Edelkamp, Peter Leven, S. Edelkamp, 2002, LPAR.

Gerichtete und optimierende Suchverfahren in komplexen Datenstrukturen

Peter Leven, 2007 .

Robust, compact representations for real-time path planning in changing environments

Seth Hutchinson, Peter Leven, 2001, Proceedings 2001 IEEE/RSJ International Conference on Intelligent Robots and Systems. Expanding the Societal Role of Robotics in the the Next Millennium (Cat. No.01CH37180).

Using manipulability to bias sampling during the construction of probabilistic roadmaps

Seth Hutchinson, Peter Leven, 2003, IEEE Trans. Robotics Autom..

Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM

Stefan Edelkamp, Peter Leven, Tilman Mehler, 2004, SPIN.