Project "Robot Planning Tasks and Methods"
(scroll down for publications)
Path planning for robots in unknown terrain has been studied in both
theoretical robotics and theoretical computer science. However, empirical
robotics researchers have often developed their own planning methods. These
planning methods have been demonstrated on mobile robots that solve complex
real-world tasks and perform well in practice. However, they are very
different from the planning methods that have traditionally been studied in
artificial intelligence, theoretical robotics, and theoretical computer
science, and their properties are not yet well understood. In joint work with
Craig Tovey, we therefore study the properties of these robot navigation
methods (such as Planning with the Freespace Assumption, Greedy Mapping,
Avoiding the Past, and Greedy Localization) formally with the goal to
understand how good they really are and in which situations they should be
used. The results provide guidance for empirical robotics researchers when to
use which method and how to improve on them. In particular, we can prove that
some common-sense navigation methods developed by empirical robotics
researchers indeed result in small travel distances of the robots. These
results provide a first step towards explaining the good empirical results
that have been reported about these navigation methods in the experimental
literature. More generally, they show how to use tools from graph theory to
analyze the plan quality of practical planning methods for nondeterministic
domains. Empirical researchers have now started to cite our analytical results
as justification of their choice of navigation methods, for example,
researchers at Carnegie Mellon University. We also study localization. Even
though this is a central problem for mobile robots, the question of how
difficult it is to localize a robot has not been studied in depth. We can
prove that finding good (= within a log factor of optimal) localization plans
is already NP-hard but our experiments show that greedy methods often perform
well. These results provide guidance for empirical robotics researchers for
how to localize robots quickly by interleaving planning and plan
execution. This work has also resulted in test problems for nondeterministic
planners from artificial intelligence, that are now used by researchers from
IRST as part of their test suites for testing their planners. We also
study path planning for robots in known terrain, including coverage
planning and motion planning. The emphasis of our research is on developing
tractable planning methods that result in solutions of high quality.
Representative Publications on Navigating to a Goal
- A. Nash, S. Koenig and M. Likhachev. Incremental Phi*: Incremental Any-Angle Path Planning on Grids. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 1824-1830, 2009. [downloadable]
- A. Nash, K. Daniel, S. Koenig and A. Felner. Theta*: Any-Angle Path Planning on Grids. In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI), 1177-1183, 2007. [downloadable]
- A. Mudgal, C. Tovey, S. Greenberg and S. Koenig. Bounds on the Travel Cost of a Mars Rover Prototype Search Heuristic. SIAM Journal on Discrete Mathematics, 19, (2), 431-447, 2005. [downloadable]
- A. Mudgal, C. Tovey and S. Koenig. Analysis of Greedy Robot-Navigation Methods. In Proceedings of the International Symposium on Artificial Intelligence and Mathematics (AMAI), 2004. [downloadable]
- S. Koenig, Y. Smirnov and C. Tovey. Performance Bounds for Planning in Unknown Terrain. Artificial Intelligence Journal, 147, (1-2), 253-279, 2003. [downloadable]
- C. Tovey, S. Greenberg and S. Koenig. Improved Analysis of D*. In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), 3371-3378, 2003. [downloadable]
Representative Publications on Mapping
- M. Lagoudakis, V. Markakis, D. Kempe, P. Keskinocak, S. Koenig, A. Kleywegt, C. Tovey, A. Meyerson and S. Jain. Auction-Based Multi-Robot Routing. In Proceedings of the International Conference on Robotics: Science and Systems (ROBOTICS), 343-350, 2005. [downloadable]
- S. Koenig, Y. Smirnov and C. Tovey. Performance Bounds for Planning in Unknown Terrain. Artificial Intelligence Journal, 147, (1-2), 253-279, 2003. [downloadable]
- C. Tovey and S. Koenig. Improved Analysis of Greedy Mapping. In Proceedings of the IEEE International Conference on Intelligent Robots and Systems (IROS), 3251-3257, 2003. [downloadable]
- S. Koenig, C. Tovey and W. Halliburton. Greedy Mapping of Terrain. In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), 3594-3599, 2001. [downloadable]
- S. Koenig and Y. Smirnov. Graph Learning with a Nearest Neighbor Approach. In Proceedings of the Conference on Computational Learning Theory (COLT), 19-28, 1996. [downloadable]
Representative Publications on Localization
- S. Koenig, J. Mitchell, A. Mudgal and C. Tovey. A Near-Tight Approximation Algorithm for the Robot Localization Problem. SIAM Journal on Computing, 39, (2), 461-490, 2009. [downloadable]
- S. Koenig, A. Mudgal and C. Tovey. A Near-Tight Approximation Lower Bound and Algorithm for the Kidnapped Robot Problem. In Proceedings of the Symposium on Discrete Algorithms (SODA), 133-142, 2006. [downloadable]
- A. Mudgal, C. Tovey and S. Koenig. Analysis of Greedy Robot-Navigation Methods. In Proceedings of the International Symposium on Artificial Intelligence and Mathematics (AMAI), 2004. [downloadable]
- S. Koenig. Minimax Real-Time Heuristic Search. Artificial Intelligence Journal, 129, (1-2), 165-197, 2001. [downloadable]
- C. Tovey and S. Koenig. Gridworlds as Testbeds for Planning with Incomplete Information. In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI), 819-824, 2000. [downloadable]
Representative Publications on Coverage
- X. Zheng and S. Koenig. Robot Coverage of Terrain with Non-Uniform Traversability. In Proceedings of the IEEE International Conference on Intelligent Robots and Systems (IROS), 3757-3764, 2007. [downloadable]
- M. Lagoudakis, V. Markakis, D. Kempe, P. Keskinocak, S. Koenig, A. Kleywegt, C. Tovey, A. Meyerson and S. Jain. Auction-Based Multi-Robot Routing. In Proceedings of the International Conference on Robotics: Science and Systems (ROBOTICS), 343-350, 2005. [downloadable]
- X. Zheng, S. Jain, S. Koenig and D. Kempe. Multi-Robot Forest Coverage. In Proceedings of the IEEE International Conference on Intelligent Robots and Systems (IROS), 2318-2323, 2005. [downloadable]
Representative Publications on Motion Planning
Representative Publications on Pursuit Evasion
- K. Daniel, R. Borie, S. Koenig and C. Tovey. ESP: Pursuit Evasion on Series-Parallel Graphs [Poster Abstract]. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2010.
- R. Borie, C. Tovey and S. Koenig. Algorithms and Complexity Results for Pursuit-Evasion Problems. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 59-66, 2009. [downloadable]
- R. Borie, C. Tovey, K. Daniel and S. Koenig. ESP: Pursuit Evasion on Series-Parallel Graphs. Technical Report, Department of Computer Science, University of Southern California, Los Angeles (California), 2009. [downloadable]
Some of this material is based upon work supported by the National Science
Foundation under Grant No. 0098807. Any opinions, findings, and conclusions or
recommendations expressed in this material are those of the author(s) and do
not necessarily reflect the views of the National Science Foundation.
Many publishers do not want authors to make their papers available
electronically after the papers have been published. Please use the
electronic versions provided here only if hardcopies are not yet
available. If you have comments on any of these papers, please send me an
email! Also, please send me your papers if we have common interests.
This page was automatically created by a bibliography maintenance system that
was developed as part of an undergraduate research project, advised by Sven Koenig.
Home Page of Sven Koenig