Automata theory

HyTech: A model checker for hybrid systems

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

Citations: 421 • 1997

Multi-robot planning : a timed automata approach

Michael Melholt Quottrup, Thomas Bak

Citations: 105 • 2004

An Algorithm for Robot Path Planning with Cellular Automata

C. Behring, M. Bracho, Miguel Castro, José A. Moreno

Citations: 63 • 2001

LTL robot motion control based on automata learning of environmental dynamics

Yushan Chen, Jana Tůmová, Călin Belta

Citations: 54 • 2012

Learning to explore and build maps

David R. Pierce, Benjamin Kuipers

Citations: 52 • 1994

Self-Reproducing Automata

Walter R. Stahl

Citations: 32 • 1965

Behavior based robotics using regularized hybrid automata

Magnus Egerstedt, Karl Henrik Johansson, John Lygeros, Shankar Sastry

Citations: 31 • 2003

Cellular automata in robot path planning

Fabio Marchese

Citations: 20 • 2002

An inner product space on irreducible and synchronizable probabilistic finite state automata

Patrick Adenis, Yicheng Wen, Asok Ray

Citations: 18 • 2012

Optimal, Efficient Sequential Control of a Soft-Bodied, Peristaltic Sorting Table

Martin Stommel, Wei Xu

Citations: 17 • 2015

A Straight Moving Path Planner for Mobile Robots in Static Environments Using Cellular Automata

Faranak Rahimi Soofiyani, Amir Masoud Rahmani, Mehran Mohsenzadeh

Citations: 15 • 2010

Complexities of Some Problems Related to Synchronizing, Non-Synchronizing and Monotonic Automata

Uraz Cengiz Türker, Hüsnü Yenigün

Citations: 15 • 2015

A Game-based Learning System for Theory of Computation Using Lego NXT Robot

Mohamed Hamada, Sayota Sato

Citations: 14 • 2011

Reversibility of computations in graph-walking automata

Michal Kunc, Alexander Okhotin

Citations: 12 • 2020

Studies on Motion Control of a Modular Robot Using Cellular Automata

Sunil Pranit Lal, Koji Yamada, Satoshi Endo

Citations: 12 • 2006

Topological evolution for embodied cellular automata

Nick Cheney, Hod Lipson

Citations: 9 • 2015

Self-assembling modular robotic structures

A. Scott Howe

Citations: 9 • 2007

Generation of behavior automaton on neural network

Tetsuya Ogata, Kotaro Hayashi, Ikuo Kitagishi, Shigeki Sugano

Citations: 8 • 2002

Dynamic Path Planning for Mobile Robots with Cellular Learning Automata

Judhi Santoso, Bambang Riyanto, Widyawardhana Adiprawita

Citations: 8 • 2016

Vector space formulation of probabilistic finite state automata

Yicheng Wen, Asok Ray

Citations: 7 • 2012