Imagen de Portada

Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Vlahakis, Eleftherios E., Kordabad, Arash Bahari, Lindemann, Lars, Sopasakis, Pantelis, Soudjani, Sadegh, Dimarogonas, Dimos V.
Formato:	Preprint
Publicado:	2026
Materias:	Systems and Control Multiagent Systems
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Conformal Data-driven Control of Stochastic Multi-Agent Systems under Collaborative Signal Temporal Logic Specifications
por: Vlahakis, Eleftherios E., et al.
Publicado: (2025)

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
por: Kordabad, Arash Bahari, et al.
Publicado: (2024)

Probabilistic Tube-based Control Synthesis of Stochastic Multi-Agent Systems under Signal Temporal Logic
por: Vlahakis, Eleftherios E., et al.
Publicado: (2024)

Data-Driven Distributionally Robust Control for Interacting Agents under Logical Constraints
por: Kordabad, Arash Bahari, et al.
Publicado: (2025)

Conformal Prediction for Distribution-free Optimal Control of Linear Stochastic Systems
por: Vlahakis, Eleftherios E., et al.
Publicado: (2024)

Distributed Sequential Receding Horizon Control of Multi-Agent Systems under Recurring Signal Temporal Logic
por: Vlahakis, Eleftherios E., et al.
Publicado: (2023)

Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts
por: Liu, Siyuan, et al.
Publicado: (2023)

Almost Sure Reachability in Continuous-time Stochastic Systems
por: Kordabad, Arash Bahari, et al.
Publicado: (2026)

Second-Order Policy Gradient Methods for the Linear Quadratic Regulator
por: Valaei, Amirreza, et al.
Publicado: (2025)

Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
por: Kordabad, Arash Bahari, et al.
Publicado: (2025)

UMBRELLA: Uncertainty-aware Multi-robot Reactive Coordination under Dynamic Temporal Logic Tasks
por: Zhao, Qisheng, et al.
Publicado: (2026)

Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic
por: Peron, Davide, et al.
Publicado: (2025)

Deep Equivariant Multi-Agent Control Barrier Functions
por: Bousias, Nikolaos, et al.
Publicado: (2025)

Intent-Aware MPC for Aircraft Detect-and-Avoid with Response Delay: A Comparative Study with ACAS Xu
por: Kordabad, Arash Bahari, et al.
Publicado: (2025)

2-D Directed Formation Control Based on Bipolar Coordinates
por: Mehdifar, Farhad, et al.
Publicado: (2021)

Inverse Inference on Cooperative Control of Networked Dynamical Systems
por: Li, Yushan, et al.
Publicado: (2025)

A Consistency Constraint-Based Approach to Coupled State Constraints in Distributed Model Predictive Control
por: Wiltz, Adrian, et al.
Publicado: (2022)

On Certificates for Almost Sure Reachability in Stochastic Systems
por: Kordabad, Arash Bahari, et al.
Publicado: (2025)

Simultaneous Topology Estimation and Synchronization of Dynamical Networks with Time-varying Topology
por: Wang, Nana, et al.
Publicado: (2024)

A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multi-Agent Systems
por: Marchesini, Gregorio, et al.
Publicado: (2024)

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
por: Schön, Oliver, et al.
Publicado: (2025)

Preserving Topology Privacy of Network Systems by Feedback: Conditions and Distributed Design
por: Li, Yushan, et al.
Publicado: (2026)

Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints
por: Ye, Bowen, et al.
Publicado: (2024)

Decentralized Control of Multi-Agent Systems Under Acyclic Spatio-Temporal Task Dependencies
por: Marchesini, Gregorio, et al.
Publicado: (2024)

Multi-Agent Path Finding Among Dynamic Uncontrollable Agents with Statistical Safety Guarantees
por: Strawn, Kegan J., et al.
Publicado: (2025)

Quasi-Newton Compatible Actor-Critic for Deterministic Policies
por: Kordabad, Arash Bahari, et al.
Publicado: (2025)

STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems
por: Yang, Shuo, et al.
Publicado: (2024)

Robust Model Predictive Control for Aircraft Intent-Aware Collision Avoidance
por: Kordabad, Arash Bahari, et al.
Publicado: (2024)

Simulation for All: A Step-by-Step Cookbook for Developing Human-Centered Multi-Agent Transportation Simulators
por: Azimi, Shiva, et al.
Publicado: (2025)

Closed-Loop Vision-Language Planning for Multi-Agent Coordination
por: Li, Zhiyuan, et al.
Publicado: (2025)

AgentWebBench: Benchmarking Multi-Agent Coordination in Agentic Web
por: Zhong, Shanshan, et al.
Publicado: (2026)

Distributed Traffic Signal Control via Coordinated Maximum Pressure-plus-Penalty
por: Tütsch, Vinzenz, et al.
Publicado: (2024)

DAO-Agent: Zero Knowledge-Verified Incentives for Decentralized Multi-Agent Coordination
por: Xia, Yihan, et al.
Publicado: (2025)

Conformal Prediction-Based MPC for Stochastic Linear Systems
por: Vogel, Lukas, et al.
Publicado: (2025)

Strategic Communication and Language Bias in Multi-Agent LLM Coordination
por: Buscemi, Alessio, et al.
Publicado: (2025)

Gated Coordination for Efficient Multi-Agent Collaboration in Minecraft Game
por: Jian, HuaDong, et al.
Publicado: (2026)

Diverse Planning with Simulators via Linear Temporal Logic
por: Abdelwahed, Mustafa F., et al.
Publicado: (2025)

Inferring Latent Temporal Sparse Coordination Graph for Multi-Agent Reinforcement Learning
por: Duan, Wei, et al.
Publicado: (2024)

Symmetric Policy Design for Multi-Agent Dispatch Coordination in Supply Chains
por: Sudhakara, Sagar
Publicado: (2025)

Optimizing Agent Collaboration through Heuristic Multi-Agent Planning
por: Soffair, Nitsan
Publicado: (2023)