Automaton

Temporal logic motion planning for dynamic robots

Georgios Fainekos, Antoine Girard, Hadas Kress‐Gazit, George J. Pappas

Citations: 460 • 2008

Maneuver-based motion planning for nonlinear systems with symmetries

E. Frazz, Munther A. Dahleh, Éric Féron

Citations: 438 • 2005

HyTech: A model checker for hybrid systems

Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi

Citations: 421 • 1997

Average reward reinforcement learning: Foundations, algorithms, and empirical results

Sridhar Mahadevan

Citations: 401 • 1996

Symbolic planning and control of robot motion [Grand Challenges of Robotics]

Călin Belta, Antonio Bicchi, Magnus Egerstedt, Emilio Frazzoli, Eric Klavins, George J. Pappas

Citations: 392 • 2007

Dynamic path planning for a mobile automaton with limited information on the environment

V. Lumelsky, Alexander A. Stepanov

Citations: 384 • 1986

The development and testing of a human machine interface for a mobile medical exoskeleton

Katherine A. Strausser, H. Kazerooni

Citations: 222 • 2011

Multi-Robot Systems: From Swarms to Intelligent Automata

Alan C. Schultz, Lynne E. Parker

Citations: 211 • 2002

Envisioning Human–Robot Coordination in Future Operations

David D. Woods, James S. Tittle, M. Feil, Axel Roesler

Citations: 204 • 2004

Optimal path planning for surveillance with temporal-logic constraints

Stephen L. Smith, Jana Tůmová, Călin Belta, Daniela Rus

Citations: 202 • 2011

Hybrid Controllers for Path Planning: A Temporal Logic Approach

Georgios Fainekos, Hadas Kress‐Gazit, George J. Pappas

Citations: 172 • 2006

Formal theories of knowledge in AI and robotics

Stanley J. Rosenschein

Citations: 170 • 1985

Dynamic role assignment for cooperative robots

Luiz Chaimowicz, Mário F. M. Campos, Vijay Kumar

Citations: 166 • 2003

Simultaneous task allocation and planning for temporal logic goals in heterogeneous multi-robot systems

Philipp Schillinger, Mathias Bürger, Dimos V. Dimarogonas

Citations: 151 • 2018

Sublime dreams of living machines: the automaton in the European imagination

Citations: 135 • 2011

Generic Decentralized Control for Lattice-Based Self-Reconfigurable Robots

Zack Butler, Keith Kotay, Daniela Rus, Kohji Tomita

Citations: 124 • 2004

STyLuS ^* : A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems

Yiannis Kantaros, Michael M. Zavlanos

Citations: 115 • 2020

Computer-aided design of a generic robot controller handling reactivity and real-time control issues

Bernard Espiau, K. Kapellos

Citations: 113 • 1993

A hybrid control approach to action coordination for mobile robots

Magnus Egerstedt, Xiaoming Hu

Citations: 111 • 2002

The development and testing of a Human Machine Interface for a mobile medical exoskeleton

Katherine A. Strausser, H. Kazerooni

Citations: 107 • 2011