Quantifying the satisfaction of spatio-temporal logic specifications for multiagent control

DOI10.1109/TAC.2025.3538747MaRDI QIDQ6921892zbMATH OpenFDO

Authors Wenliang Liu, Suhail Alsalehi, Noushin Mehdipour, Ezio Bartocci, Calin Belta

Publication date 6 October 2025

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

Full work available at URL https://doi.org/10.1109/TAC.2025.3538747

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Cited in

(2)

• Monitoring spatially distributed cyber-physical systems with alternating finite automata
• Temporal logic guided coverage control and path planning for unmanned aerial-ground vehicle systems

This page was built for publication: Quantifying the satisfaction of spatio-temporal logic specifications for multiagent control

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6921892)