A framework for multi-robot motion planning from temporal logic specifications
From MaRDI portal
Publication:439866
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
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
Uses Software
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