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

🤖This page has been translated by AI and may contain inaccuracies. Please refer to the original content for clarification.

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

Xinyuan HUANG

Li LI

Jie CHEN

Keywords：Temporal logicmulti-agent systemformal methodscontrol barrier function

Publication Date：2020-08-05

Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)

Pages：10( 269-278 )

ISSN：2095-6983

Year, Vol.(Issue)：2020,18(3)