Theoretical computer science

Genetic Programming: On the Programming of Computers by Means of Natural Selection

John R. Koza

引用数: 13277 • 1992

Probabilistic graphical models : principles and techniques

Daniel L. Koller, Nir Friedman

引用数: 6456 • 2009

Probabilistic roadmaps for path planning in high-dimensional configuration spaces

Lydia E. Kavraki, P. Švestka, J.-C. Latombe, M.H. Overmars

引用数: 6256 • 1996

Robot Motion Planning

Jean‐Claude Latombe

引用数: 5429 • 1991

Real-Time Computing Without Stable States: A New Framework for Neural Computation Based on Perturbations

Wolfgang Maass, Thomas Natschläger, Henry Markram

引用数: 4023 • 2002

The university of Florida sparse matrix collection

Timothy A. Davis, Yifan Hu

引用数: 3610 • 2011

G<sup>2</sup>o: A general framework for graph optimization

Rainer Kümmerle, Giorgio Grisetti, Hauke Strasdat, Kurt Konolige, Wolfram Burgard

引用数: 1966 • 2011

A Formal Analysis and Taxonomy of Task Allocation in Multi-Robot Systems

Brian Gerkey, Maja J. Matarić

引用数: 1661 • 2004

A fast procedure for computing the distance between complex objects in three-dimensional space

Éric Gilbert, Daniel Johnson, S. Sathiya Keerthi

引用数: 1470 • 1988

A Tutorial on Graph-Based SLAM

Giorgio Grisetti, Rainer Kümmerle, Cyrill Stachniss, Wolfram Burgard

引用数: 1300 • 2010

Coverage for robotics – A survey of recent results

Howie Choset

引用数: 1189 • 2001

Modeling and control of formations of nonholonomic mobile robots

Jaydev P. Desai, J.P. Ostrowski, Vijay Kumar

引用数: 1155 • 2001

Tackling Real-Coded Genetic Algorithms: Operators and Tools for Behavioural Analysis

Francisco Herrera, Manuel Lozano, José Luís Verdegay

引用数: 1137 • 1998

Knowledge in action: logical foundations for specifying and implementing dynamical systems

引用数: 1115 • 2002

GOLOG: A logic programming language for dynamic domains

Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl

引用数: 1039 • 1997

Robot Motion Planning: A Distributed Representation Approach

Jérôme Barraquand, Jean‐Claude Latombe

引用数: 988 • 1991

Numerical potential field techniques for robot path planning

Jérôme Barraquand, B. Langlois, J.-C. Latombe

引用数: 885 • 1992

Model checking for programming languages using VeriSoft

Patrice Godefroid

引用数: 828 • 1997

The focussed D* algorithm for real-time replanning

Anthony Stentz

引用数: 820 • 1995

Containment Control in Mobile Networks

M. Ji, Giancarlo Ferrari‐Trecate, Magnus Egerstedt, Annalisa Buffa

引用数: 801 • 2008