Deterministic automaton

Label-guided graph exploration by a finite automaton

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

引用数: 91 • 2008

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

Xusheng Luo, Yiannis Kantaros, Michael M. Zavlanos

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

引用数: 52 • 1995

Learning to explore and build maps

David R. Pierce, Benjamin Kuipers

引用数: 52 • 1994

Falsification of LTL safety properties in hybrid systems

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

引用数: 51 • 2012

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

James McMahon, Erion Plaku

引用数: 42 • 2014

Optimal path planning under temporal logic constraints

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

引用数: 41 • 2010

Timed automata approach for motion planning using metric interval temporal logic

Yuchen Zhou, Dipankar Maity, John S. Baras

引用数: 37 • 2016

Optimal multi-robot path planning with temporal logic constraints

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

引用数: 33 • 2011

An Automaton Learning Approach to Solving Safety Games over Infinite Graphs

Daniel Neider, Ufuk Topcu

引用数: 32 • 2016

Behavior based robotics using regularized hybrid automata

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

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

引用数: 26 • 1995

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

Dhaval Gujarathi, Indranil Saha

引用数: 19 • 2022

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

Marius Kloetzer, Cristian Mahulea

引用数: 19 • 2016

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

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

引用数: 15 • 2015

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

Mohamed Hamada, Sayota Sato

引用数: 14 • 2011

Optimal motion planning with temporal logic and switching constraints

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

引用数: 14 • 2015

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

Yiannis Kantaros, Michael M. Zavlanos

引用数: 14 • 2018

Generation of behavior automaton on neural network

Tetsuya Ogata, Kotaro Hayashi, Ikuo Kitagishi, Shigeki Sugano

引用数: 8 • 2002

Continuous Motion Planning with Temporal Logic Specifications using Deep Neural Networks

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

引用数: 8 • 2020