Discrete mathematics

Exact robot navigation using artificial potential functions

Elon Rimon, Daniel E. Koditschek

Citations: 1825 • 1992

STRIPS: a new approach to the application of theorem proving to problem solving

Richard Fikes, Nils J. Nilsson

Citations: 1487 • 1971

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

Éric Gilbert, Daniel Johnson, S. Sathiya Keerthi

Citations: 1470 • 1988

Variable structure control of nonlinear systems: a new approach

Wei-Bing Gao, J. C. Hung

Citations: 1282 • 1993

Semi-Infinite Programming: Theory, Methods, and Applications

R. Hettich, K. O. Kortanek

Citations: 1017 • 1993

On the “piano movers” problem. II. General techniques for computing topological properties of real algebraic manifolds

Jacob T. Schwartz, Micha Sharir

Citations: 807 • 1983

Applied Interval Analysis With Examples in Parameter and State Estimation, Robust Control and Robotics

Luc Jaulin, Michel Kieffer, Olivier Didrit, Éric Walter

Citations: 754 • 1993

Some algebraic and geometric computations in PSPACE

John Canny

Citations: 581 • 1988

State Agreement for Continuous‐Time Coupled Nonlinear Systems

Zhiyun Lin, Bruce A. Francis, Manfredi Maggiore

Citations: 514 • 2007

Coverage of Known Spaces: The Boustrophedon Cellular Decomposition

Howie Choset

Citations: 482 • 2000

A fast algorithm for incremental distance calculation

Ming C. Lin, John Canny

Citations: 474 • 2002

Structure and Intractability of Optimal Multi-Robot Path Planning on Graphs

Jingjin Yu, Steven M. LaValle

Citations: 414 • 2013

Topological Complexity of Motion Planning

Michael Färber

Citations: 380 • 2003

PSPACE-completeness of sliding-block puzzles and other problems through the nondeterministic constraint logic model of computation

Robert A. Hearn, Erik D. Demaine

Citations: 317 • 2005

A Symposium on Amino Acid Metabolism

Avrohom Neuberger

Citations: 314 • 1956

SE-Sync: A certifiably correct algorithm for synchronization over the special Euclidean group

David M. Rosen, Luca Carlone, Afonso S. Bandeira, John J. Leonard

Citations: 283 • 2018

A new adaptive learning rule

W. Messner, Roberto Horowitz, W.-W. Kao, M. Boals

Citations: 273 • 1991

Finite-Horizon $H_{\infty} $ Filtering With Missing Measurements and Quantization Effects

Zidong Wang, Hongli Dong, Bo Shen, Huijun Gao

Citations: 226 • 2013

On the Approximation of Shortest Common Supersequences and Longest Common Subsequences

Tao Jiang, Ming Li

Citations: 212 • 1995

Multi-criteria Reinforcement Learning

Z Gábor, Zsolt Kalmár, Csaba Szepesvári

Citations: 210 • 1998