Finite-state machine

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

Limits for automatic verification of finite-state concurrent systems

Krzysztof R. Apt, Dexter Kozen

Citations: 375 • 1986

A survey of Behavior Trees in robotics and AI

Matteo Iovino, Edvards Scukins, Jonathan Styrud, Petter Ögren, Christian Smith

Citations: 250 • 2022

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

Katherine A. Strausser, H. Kazerooni

Citations: 222 • 2011

Optimal path planning for surveillance with temporal-logic constraints

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

Citations: 202 • 2011

Finite-time consensus of multiple nonholonomic chained-form systems based on recursive distributed observer

Haibo Du, Guanghui Wen, Xinghuo Yu, Shihua Li, Michael Z. Q. Chen

Citations: 196 • 2015

Contact Model Fusion for Event-Based Locomotion in Unstructured Terrains

Gerardo Bledt, Patrick M. Wensing, Sam Ingersoll, Sangbae Kim

Citations: 177 • 2018

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

AutoMoDe: A novel approach to the automatic design of control software for robot swarms

Gianpiero Francesca, Manuele Brambilla, Arne Brutschy, Vito Trianni, Mauro Birattari

Citations: 168 • 2014

Probabilistic aggregation strategies in swarm robotic systems

Onur Soysal, Erol Şahi̇n

Citations: 128 • 2005

Task Modelling in Collective Robotics

C. Ronald Kube

Citations: 119 • 1997

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

Bernard Espiau, K. Kapellos

Citations: 113 • 1993

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

Katherine A. Strausser, H. Kazerooni

Citations: 107 • 2011

Automatic Derivation of Memoryless Policies and Finite-State Controllers Using Classical Planners

Blai Bonet, Héctor Palacios, Héctor Geffner

Citations: 96 • 2009

XABSL - A Pragmatic Approach to Behavior Engineering

Martin Loetzsch, Max Risler, Matthias Jüngel

Citations: 95 • 2006

The use of perceptual cues in multi-robot box-pushing

C. Ronald Kube, Hong Zhang

Citations: 91 • 2002

Behavioral control for multi-robot perimeter patrol: A Finite State Automata approach

Alessandro Marino, Lynne E. Parker, Gianluca Antonelli, Fabrizio Caccavale

Citations: 87 • 2009

ROS commander (ROSCo): Behavior creation for home robots

Hai Nguyen, Matei Ciocarlie, Kaijen Hsiao, Charles C. Kemp

Citations: 77 • 2013