A framework for multi-robot motion planning from temporal logic specifications
type: Item
instance of: scholarly article
title: A framework for multi-robot motion planning from temporal logic specifications
zbMATH Open document ID: 1245.68227
author: T. John Koo
author: Rongqing Li
author: Michael M. Quottrup
author: Charles Clifton
author: Roozbeh Izadi-Zamanabadi
author: Thomas Bak
publication date: 2012-08-17T00:00:00Z
full work available at URL: s11432-012-4605-8
Mathematics Subject Classification ID: 68T40
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6067198
zbMATH Keywords: motion planning
zbMATH Keywords: multi-robot systems
zbMATH Keywords: temporal logic
zbMATH Keywords: hybrid automata
zbMATH Keywords: discrete abstraction
describes a project that uses: LTLCon
describes a project that uses: Cadence SMV
MaRDI profile type: Publication
OpenAlex ID: W1979205345
cites work: A hybrid control approach to action coordination for mobile robots
cites work: Q4736591
cites work: Hybrid Systems: Computation and Control
cites work: Temporal logic motion planning for dynamic robots
cites work: Q3141897
cites work: Verification of infinite-state dynamic systems using approximate quotient transition systems
cites work: Bisimilar linear systems.
DOI: 10.1007/S11432-012-4605-8
published in: Science China Information Sciences
Recommended article: Temporal logic motion planning for dynamic robots
Recommended article: Q3161546
Recommended article: Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications
Recommended article: Multi-agent system motion planning under temporal logic specifications and control barrier function
Recommended article: Temporal logic motion planning using POMDPs with parity objectives
Recommended article: Temporal Logic Task Planning and Intermittent Connectivity Control of Mobile Robot Networks
Recommended article: On the timed temporal logic planning of coupled multi-agent systems
Recommended article: Formal methods for robot motion planning with time and space constraints (extended abstract)
description: scientific article; zbMATH DE number 6067198