Cover Image

Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Yu, Xinyi, Zhao, Yiqi, Yin, Xiang, Lindemann, Lars
Format:	Preprint
Published:	2023
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents
by: Cui, Bohan, et al.
Published: (2025)

Formal Verification and Control with Conformal Prediction
by: Lindemann, Lars, et al.
Published: (2024)

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

Conformal Predictive Programming for Chance Constrained Optimization
by: Zhao, Yiqi, et al.
Published: (2024)

SPARC: Prediction-Based Safe Control for Coupled Controllable and Uncontrollable Agents with Conformal Predictions
by: Wang, Shuqi, et al.
Published: (2024)

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

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

Task and Motion Planning of Dynamic Systems using Hyperproperties for Signal Temporal Logics
by: Zhao, Jianing, et al.
Published: (2025)

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

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

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
by: Zhao, Yiqi, et al.
Published: (2025)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
by: Zhao, Yiqi, et al.
Published: (2023)

Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning
by: Wang, Siqi, et al.
Published: (2023)

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks
by: Nawaz, Farhad, et al.
Published: (2024)

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

Recursively Feasible Shrinking-Horizon MPC in Dynamic Environments with Conformal Prediction Guarantees
by: Stamouli, Charis, et al.
Published: (2024)

Distributed Safety Critical Control among Uncontrollable Agents Using Reconstructed Control Barrier Functions
by: Peng, Yuzhang, et al.
Published: (2026)

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

Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization
by: Vlahakis, Eleftherios E., et al.
Published: (2026)

Chance-Constrained Neural MPC under Uncontrollable Agents via Sequential Convex Programming
by: Wang, Shuqi, et al.
Published: (2025)

eCP: Equivariant Conformal Prediction with pre-trained models
by: Bousias, Nikolaos, et al.
Published: (2026)

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

Continuous-Time Control Synthesis for Multiple Quadrotors under Signal Temporal Logic Specifications
by: Yuan, Yating, et al.
Published: (2025)

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

Signal Temporal Logic Motion Planning via Graphs of Convex Sets
by: Chen, Yu, et al.
Published: (2026)

Optimal Control of Markov Decision Processes for Efficiency with Linear Temporal Logic Tasks
by: Chen, Yu, et al.
Published: (2024)

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

Safe Planning in Interactive Environments via Iterative Policy Updates and Adversarially Robust Conformal Prediction
by: Mirzaeedodangeh, Omid, et al.
Published: (2025)

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

Conformal Prediction Regions for Time Series using Linear Complementarity Programming
by: Cleaveland, Matthew, et al.
Published: (2023)

When Environments Shift: Safe Planning with Generative Priors and Robust Conformal Prediction
by: Rahaman, Kaizer, et al.
Published: (2026)

Neuro-Symbolic Acceleration of MILP Motion Planning with Temporal Logic and Chance Constraints
by: Cai, Junyang, et al.
Published: (2025)

Multi-Agent Control Synthesis from Global Temporal Logic Tasks with Synchronous Satisfaction Requirements
by: Yang, Tiange, et al.
Published: (2023)

DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications
by: Liu, Ruijia, et al.
Published: (2026)

Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks
by: Liu, Ruijia, et al.
Published: (2025)

Metriplectic Conditional Flow Matching for Dissipative Dynamics
by: Baheri, Ali, et al.
Published: (2025)

Signal Temporal Logic Verification and Synthesis Using Deep Reachability Analysis and Layered Control Architecture
by: Choi, Joonwon, et al.
Published: (2026)

Multi-Modal Conformal Prediction Regions with Simple Structures by Optimizing Convex Shape Templates
by: Tumu, Renukanandan, et al.
Published: (2023)

Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
by: Ye, Bowen, et al.
Published: (2025)

Entropy Rate Maximization of Markov Decision Processes under Linear Temporal Logic Tasks
by: Chen, Yu, et al.
Published: (2022)