P. Leven

Toward real-time path planning in changing environments

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

Directed Automated Theorem Proving

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

A Framework for Real-time Path Planning in Changing Environments

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

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).

Planning Collision-Free Paths Using Probabilistic Roadmaps

Seth Hutchinson, P. Leven, S. Hutchinson, 2005 .