Work

Quantifying the Satisfaction of Spatio-Temporal Logic Specifications for Multiagent Control

Year: 2025

Type: article

Source: IEEE Transactions on Automatic Control

DOI: 10.1109/tac.2025.3538747

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

Institutions: Boston University, TU Wien, University of Maryland, College Park

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Science Foundation

Awards: GCR: Collaborative Research: Micro-bio-genetics for Programmable Organoid Formation, NRI: FND: A Formal Methods Approach to Safe, Composable, and Distributed Reinforcement Learning for co-Robots

OpenAlex ID: W4407128425

FWCI: 1.922

Cites: 37

Cited by: 4

Related to: 10