Constructive proof

Related papers: 10

Top Cited Papers

A Generalized Time-Optimal Bidirectional Scan Algorithm for Constrained Feed-Rate Optimization

Jingyan Dong, James A. Stori

Citations: 74 • 2005

Rendezvous and Election of Mobile Agents: Impact of Sense of Direction

Lali Barrière, Paola Flocchini, Pierre Fraigniaud, Nicola Santoro

Citations: 58 • 2005

UNIFORM SCATTERING OF AUTONOMOUS MOBILE ROBOTS IN A GRID

Lali Barrière, Paola Flocchini, Eduardo Mesa-Barrameda, Nicola Santoro

Citations: 53 • 2011

Proving path non-existence using sampling and alpha shapes

Zoe McCarthy, Timothy Bretl, Seth Hutchinson

Citations: 41 • 2012

Optimal Probabilistic Ring Exploration by Semi-synchronous Oblivious Robots

Stéphane Devismes, Franck Petit, Sébastien Tixeuil

Citations: 39 • 2010

Optimal probabilistic ring exploration by semi-synchronous oblivious robots

Stéphane Devismes, Franck Petit, Sébastien Tixeuil

Citations: 36 • 2013

Uniform scattering of autonomous mobile robots in a grid

Lali Barrière, Paola Flocchini, Eduardo Mesa-Barrameda, Nicola Santoro

Citations: 32 • 2009

A Generalized Time-Optimal Bi-Directional Scan Algorithm for Constrained Feedrate Optimization

Jingyan Dong, James A. Stori

Citations: 12 • 2004

Iterative ensemble control synthesis for bilinear systems

Anatoly Zlotnik, Shin Li

Citations: 7 • 2012

Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots

Stéphane Devismes, Franck Petit, Sébastien Tixeuil

Citations: 5 • 2009