Transition system

Sampling-based motion planning with deterministic μ-calculus specifications

Sertaç Karaman, Emilio Frazzoli

Citations: 176 • 2009

Efficient reactive controller synthesis for a fragment of linear temporal logic

Eric M. Wolff, Ufuk Topcu, Richard M. Murray

Citations: 52 • 2013

Automatic synthesis of new behaviors from a library of available behaviors

Giuseppe De Giacomo, Sebastian Sardiña

Citations: 43 • 2007

The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata

Akash Deshpande, Aleks Göllü, Luigi Semenzato

Citations: 36 • 1997

Synthesis of distributed control and communication schemes from global LTL specifications

Yushan Chen, Xu Chu Ding, Călin Belta

Citations: 35 • 2011

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

A symbolic justice violations transition system for unrealizable GR(1) specifications

Aviv Kuvent, Shahar Maoz, Jan Oliver Ringert

Citations: 33 • 2017

Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems

Pierre-Jean Meyer, Dimos V. Dimarogonas

Citations: 33 • 2019

Task decomposition and analysis of robotic assembly task plans using Petri nets

Tiehua Cao, Arthur C. Sanderson

Citations: 29 • 1994

Image based operation: a human-robot interaction architecture for intelligent manufacturing

Tomoyuki Hamada, K. Kamejima, I. Takeuchi

Citations: 16 • 2003

Hybrid State Machines with Timed Synchronization for Multi-Robot System Specification

Jan Murray, Frieder Stolzenburg

Citations: 13 • 2005

Robot System Design Procedure Based on a Formal Specification

Cezary Zieliński, Maksym Figat

Citations: 11 • 2016

Failure-Robust Multi-Robot Tasks Planning under Linear Temporal Logic Specifications

Feifei Huang, Xiang Yin, Shaoyuan Li

Citations: 10 • 2022

Realizing multiple autonomous agents through scheduling of shared devices

Sebastian Sardiña, Giuseppe De Giacomo

Citations: 10 • 2008

Managing non-determinism in symbolic robot motion planning and control

Marius Kloetzer, Călin Belta

Citations: 10 • 2007

Optimal Path Planning Satisfying Complex Task Requirement in Uncertain Environment

Xinyi Yu, Zhen-Yong Fan, Linlin Ou, Feng Zhu, Yong-Kui Guo

Citations: 9 • 2019

LTL Planning in Dynamic Environments

Marius Kloetzer, Cristian Mahulea

Citations: 7 • 2012

Multi-Agent Motion Planning and Object Transportation under High Level Goals

Christos K. Verginis, Dimos V. Dimarogonas

Citations: 7 • 2017

Synthesis of output feedback control for motion planning based on LTL specifications

Min Wu, Gangfeng Yan, Zhiyun Lin, Ying Lan

Citations: 7 • 2009

An LTL-Based Motion and Action Dynamic Planning Method for Autonomous Robot**This work was supported by National Natural Science Foundation of China (61403410).

Ning Xu, Jie Li, Yifeng Niu, Lincheng Shen

Citations: 6 • 2016