JOURNAL ARTICLE

Multi-agent system motion planning under temporal logic specifications and control barrier function

Xinyuan HuangLi LiJie Chen

Year: 2020 Journal:   Control Theory and Technology Vol: 18 (3)Pages: 269-278   Publisher: Springer Science+Business Media
Keywords:
Task (project management) Linear temporal logic Scheme (mathematics) Computer science Constraint (computer-aided design) Function (biology) Temporal logic Controller (irrigation) Motion (physics) Motion planning Control engineering Motion control Control (management) Control theory (sociology) Artificial intelligence Algorithm Theoretical computer science Engineering Mathematics Robot Systems engineering

Metrics

5
Cited By
0.59
FWCI (Field Weighted Citation Impact)
29
Refs
0.73
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
Robotic Path Planning Algorithms
Physical Sciences →  Computer Science →  Computer Vision and Pattern Recognition
Multi-Agent Systems and Negotiation
Physical Sciences →  Computer Science →  Artificial Intelligence
© 2026 ScienceGate Book Chapters — All rights reserved.