Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach

DOI10.1109/tac.2022.3176797arXiv2106.15729OpenAlexW3176621594MaRDI QIDQ6053263

Ufuk Topcu, Zhe Xu, Unnamed Author, Murat Cubuktepe

Publication date: 26 September 2023

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2106.15729

zbMATH Keywords

Markov processformal languageoptimization methodsswarm robotics

Mathematics Subject Classification ID

Systems theory; control (93-XX)

This page was built for publication: Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach