A framework for multi-robot motion planning from temporal logic specifications

DOI10.1007/s11432-012-4605-8zbMath1245.68227OpenAlexW1979205345MaRDI QIDQ439866

Rongqing Li, Thomas Bak, Michael M. Quottrup, Roozbeh Izadi-Zamanabadi, T. John Koo, Charles A. Clifton

Publication date: 17 August 2012

Published in: Science China. Information Sciences (Search for Journal in Brave)

Full work available at URL: http://engine.scichina.com/doi/10.1007/s11432-012-4605-8

zbMATH Keywords

hybrid automatamotion planningtemporal logicdiscrete abstractionmulti-robot systems

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Artificial intelligence for robotics (68T40)

Related Items

Cauchy-Matern model of sea surface wind speed at the Lake Worth, Florida

Uses Software

• Cadence SMV
• LTLCon

Cites Work

• Unnamed Item
• Unnamed Item
• Temporal logic motion planning for dynamic robots
• Bisimilar linear systems.
• Verification of infinite-state dynamic systems using approximate quotient transition systems
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• A hybrid control approach to action coordination for mobile robots