Image de couverture de livre

A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Cui, Bohan, Yu, Xinyi, Giua, Alessandro, Yin, Xiang
Format:	Preprint
Publié:	2025
Sujets:	Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction
par: Yu, Xinyi, et autres
Publié: (2023)

On Prediction-Based Properties of Discrete-Event Systems: Notions, Applications and Supervisor Synthesis
par: Cui, Bohan, et autres
Publié: (2025)

Opacity Enforcing Supervisory Control with a Priori Unknown Supervisors
par: Cui, Bohan, et autres
Publié: (2026)

A Nonlinear Perron-Frobenius Approach for Stability and Consensus of Discrete-Time Multi-Agent Systems
par: Deplano, Diego, et autres
Publié: (2019)

Task and Motion Planning of Dynamic Systems using Hyperproperties for Signal Temporal Logics
par: Zhao, Jianing, et autres
Publié: (2025)

Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning
par: Wang, Siqi, et autres
Publié: (2023)

Certificates Synthesis for A Class of Observational Properties in Stochastic Systems: A Unified Approach
par: Cui, Bohan, et autres
Publié: (2026)

SPARC: Prediction-Based Safe Control for Coupled Controllable and Uncontrollable Agents with Conformal Predictions
par: Wang, Shuqi, et autres
Publié: (2024)

Dynamic Max-Consensus and Size Estimation of Anonymous Multi-Agent Networks
par: Deplano, Diego, et autres
Publié: (2020)

Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multi-Agent Networks
par: Deplano, Diego, et autres
Publié: (2023)

Algebraic Connectivity Control and Maintenance in Multi-Agent Networks under Attack
par: Zhao, Wenjie, et autres
Publié: (2024)

STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems
par: Yang, Shuo, et autres
Publié: (2024)

Chance-Constrained Neural MPC under Uncontrollable Agents via Sequential Convex Programming
par: Wang, Shuqi, et autres
Publié: (2025)

Continuous-Time Control Synthesis for Multiple Quadrotors under Signal Temporal Logic Specifications
par: Yuan, Yating, et autres
Publié: (2025)

Signal Temporal Logic Motion Planning via Graphs of Convex Sets
par: Chen, Yu, et autres
Publié: (2026)

Optimal Control of Markov Decision Processes for Efficiency with Linear Temporal Logic Tasks
par: Chen, Yu, et autres
Publié: (2024)

Probabilistic Tube-based Control Synthesis of Stochastic Multi-Agent Systems under Signal Temporal Logic
par: Vlahakis, Eleftherios E., et autres
Publié: (2024)

Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts
par: Liu, Siyuan, et autres
Publié: (2023)

DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications
par: Liu, Ruijia, et autres
Publié: (2026)

Distributed Safety Critical Control among Uncontrollable Agents Using Reconstructed Control Barrier Functions
par: Peng, Yuzhang, et autres
Publié: (2026)

A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multi-Agent Systems
par: Marchesini, Gregorio, et autres
Publié: (2024)

Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks
par: Liu, Ruijia, et autres
Publié: (2025)

Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints
par: Ye, Bowen, et autres
Publié: (2024)

Signal Temporal Logic Verification and Synthesis Using Deep Reachability Analysis and Layered Control Architecture
par: Choi, Joonwon, et autres
Publié: (2026)

Disturbance Rejection Control under Nested Signal Temporal Logic Specifications: A Recursive Design Approach
par: Peng, Yuzhang, et autres
Publié: (2026)

Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
par: Ye, Bowen, et autres
Publié: (2025)

Entropy Rate Maximization of Markov Decision Processes under Linear Temporal Logic Tasks
par: Chen, Yu, et autres
Publié: (2022)

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
par: Kordabad, Arash Bahari, et autres
Publié: (2024)

Ro-To-Go! Robust Reactive Control with Signal Temporal Logic
par: Ilyes, Roland, et autres
Publié: (2025)

Optimal Planning and Control under Signal Temporal Logic Specifications
par: Pan, Zuodong, et autres
Publié: (2026)

Probabilistic State Estimation of Timed Probabilistic Discrete Event Systems via Artificial Neural Networks [Draft Version]
par: Amri, Omar, et autres
Publié: (2025)

Distributed Sequential Receding Horizon Control of Multi-Agent Systems under Recurring Signal Temporal Logic
par: Vlahakis, Eleftherios E., et autres
Publié: (2023)

Conformal Data-driven Control of Stochastic Multi-Agent Systems under Collaborative Signal Temporal Logic Specifications
par: Vlahakis, Eleftherios E., et autres
Publié: (2025)

Multi-Agent Control Synthesis from Global Temporal Logic Tasks with Synchronous Satisfaction Requirements
par: Yang, Tiange, et autres
Publié: (2023)

On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications
par: Cui, Bohan, et autres
Publié: (2024)

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
par: Riccardi, Alessandro, et autres
Publié: (2026)

A Stackelberg Game of Demand Response from the Aggregator's Perspective
par: Khe, Seangleng, et autres
Publié: (2025)

A Game-Theoretical Approach for Optimal Supervisory Control of Discrete Event Systems under Energy Constraints
par: Lv, Peng, et autres
Publié: (2024)

Approximation-free Control for Signal Temporal Logic Specifications using Spatiotemporal Tubes
par: Das, Ratnangshu, et autres
Publié: (2025)

Neural Control Barrier Functions for Signal Temporal Logic Specifications with Input Constraints
par: Jagabathula, Vaishnavi, et autres
Publié: (2025)