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

DOI10.1007/s11768-020-0110-6zbMath1463.93004OpenAlexW3080115308MaRDI QIDQ5143055

Jie Chen, Li Li, Xinyuan Huang

Publication date: 14 January 2021

Published in: Control Theory and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11768-020-0110-6

zbMATH Keywords

multi-agent systemformal methodstemporal logiccontrol barrier function

Mathematics Subject Classification ID

Temporal logic (03B44) Multi-agent systems (93A16)