Deterministic automaton

Label-guided graph exploration by a finite automaton

Reuven Cohen, Pierre Fraigniaud, David Ilcinkas, Amos Korman, David Peleg

Citations: 91 • 2008

An Abstraction-Free Method for Multirobot Temporal Logic Optimal Control Synthesis

Xusheng Luo, Yiannis Kantaros, Michael M. Zavlanos

Citations: 64 • 2021

Inferring Finite Automata with Stochastic Output Functions and an Application to Map Learning

Thomas Dean, Dana Angluin, Kenneth Basye, Sean P. Engelson, Leslie Pack Kaelbling, Evangelos Kokkevis, Oded Maron

Citations: 52 • 1995

Learning to explore and build maps

David R. Pierce, Benjamin Kuipers

Citations: 52 • 1994

Falsification of LTL safety properties in hybrid systems

Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi

Citations: 51 • 2012

Sampling-based tree search with discrete abstractions for motion planning with dynamics and temporal logic

James McMahon, Erion Plaku

Citations: 42 • 2014

Optimal path planning under temporal logic constraints

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

Citations: 41 • 2010

Timed automata approach for motion planning using metric interval temporal logic

Yuchen Zhou, Dipankar Maity, John S. Baras

Citations: 37 • 2016

Optimal multi-robot path planning with temporal logic constraints

Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Călin Belta, Daniela Rus

Citations: 33 • 2011

An Automaton Learning Approach to Solving Safety Games over Infinite Graphs

Daniel Neider, Ufuk Topcu

Citations: 32 • 2016

Behavior based robotics using regularized hybrid automata

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

Citations: 31 • 2003

Inferring finite automata with stochastic output functions and an application to map learning

Thomas Dean, Dana Angluin, Kenneth Basye, Sean P. Engelson, Leslie Pack Kaelbling, Evangelos Kokkevis, Oded Maron

Citations: 26 • 1995

MT*: Multi-Robot Path Planning for Temporal Logic Specifications

Dhaval Gujarathi, Indranil Saha

Citations: 19 • 2022

Multi-robot path planning for syntactically co-safe LTL specifications

Marius Kloetzer, Cristian Mahulea

Citations: 19 • 2016

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

Optimal motion planning with temporal logic and switching constraints

Vladislav Nenchev, Călin Belta, Jörg Raisch

Citations: 14 • 2015

Temporal Logic Optimal Control for Large-Scale Multi-Robot Systems: 10⁴⁰⁰ States and Beyond

Yiannis Kantaros, Michael M. Zavlanos

Citations: 14 • 2018

Generation of behavior automaton on neural network

Tetsuya Ogata, Kotaro Hayashi, Ikuo Kitagishi, Shigeki Sugano

Citations: 8 • 2002

Continuous Motion Planning with Temporal Logic Specifications using Deep Neural Networks

Chuanzheng Wang, Yinan Li, Stephen L. Smith, Jun Liu

Citations: 8 • 2020