Finite-state machine

Maneuver-based motion planning for nonlinear systems with symmetries

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

引用数: 438 • 2005

HyTech: A model checker for hybrid systems

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

引用数: 421 • 1997

Limits for automatic verification of finite-state concurrent systems

Krzysztof R. Apt, Dexter Kozen

引用数: 375 • 1986

A survey of Behavior Trees in robotics and AI

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

引用数: 250 • 2022

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

Katherine A. Strausser, H. Kazerooni

引用数: 222 • 2011

Optimal path planning for surveillance with temporal-logic constraints

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

引用数: 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

引用数: 196 • 2015

Contact Model Fusion for Event-Based Locomotion in Unstructured Terrains

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

引用数: 177 • 2018

Hybrid Controllers for Path Planning: A Temporal Logic Approach

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

引用数: 172 • 2006

Formal theories of knowledge in AI and robotics

Stanley J. Rosenschein

引用数: 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

引用数: 168 • 2014

Probabilistic aggregation strategies in swarm robotic systems

Onur Soysal, Erol Şahi̇n

引用数: 128 • 2005

Task Modelling in Collective Robotics

C. Ronald Kube

引用数: 119 • 1997

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

Bernard Espiau, K. Kapellos

引用数: 113 • 1993

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

Katherine A. Strausser, H. Kazerooni

引用数: 107 • 2011

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

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

引用数: 96 • 2009

XABSL - A Pragmatic Approach to Behavior Engineering

Martin Loetzsch, Max Risler, Matthias Jüngel

引用数: 95 • 2006

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

C. Ronald Kube, Hong Zhang

引用数: 91 • 2002

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

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

引用数: 87 • 2009

ROS commander (ROSCo): Behavior creation for home robots

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

引用数: 77 • 2013