:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Arias, Andres, Sun, Chuangchuang
Format:	Preprint
Publié:	2024
Sujets:	Systems and Control
Accès en ligne:	https://arxiv.org/abs/2407.21144
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Scalable Multi-Robot Task Allocation and Coordination under Signal Temporal Logic Specifications
par: Liu, Wenliang, et autres
Publié: (2025)

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

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

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

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

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

Maximally Resilient Controllers under Temporal Logic Specifications
par: Si, Youssef Ait, et autres
Publié: (2025)

Energetic Resilience under Temporal Logic Specifications
par: Das, Ratnangshu, et autres
Publié: (2026)

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

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

Clustering-based Recurrent Neural Network Controller synthesis under Signal Temporal Logic Specifications
par: Serizawa, Kazunobu, et autres
Publié: (2025)

Disturbance Rejection Control under Nested Signal Temporal Logic Specifications: A Recursive Design Approach
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)

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)

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications
par: Ma, Liqian, et autres
Publié: (2025)

Resilient and Effort-Optimal Controller Synthesis under Temporal Logic Specifications
par: Si, Youssef Ait, et autres
Publié: (2026)

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

Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
par: Ma, Liqian, et autres
Publié: (2026)

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

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

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

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications
par: Baheri, Ali, et autres
Publié: (2025)

Time-Robust Path Planning with Piece-Wise Linear Trajectory for Signal Temporal Logic Specifications
par: Le, Nhan-Khanh, et autres
Publié: (2024)

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

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
par: Kapoor, Parv, et autres
Publié: (2024)

Control Barrier Functions for the Full Class of Signal Temporal Logic Tasks using Spatiotemporal Tubes
par: Das, Ratnangshu, et autres
Publié: (2025)

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

Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics
par: Rousseas, Panagiotis, et autres
Publié: (2026)

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

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

Runtime Enforcement of CPS against Signal Temporal Logic
par: Su, Han, et autres
Publié: (2025)

RRT* Based Optimal Trajectory Generation with Linear Temporal Logic Specifications under Kinodynamic Constraints
par: Gautam, Saksham, et autres
Publié: (2024)

STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications
par: Takayama, Yoshinari, et autres
Publié: (2023)

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

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
par: Zhao, Yiqi, et autres
Publié: (2025)

LLM-Enabled Low-Altitude UAV Natural Language Navigation via Signal Temporal Logic Specification Translation and Repair
par: Ping, Yuqi, et autres
Publié: (2026)

Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications
par: Dang, Thao, et autres
Publié: (2024)

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

Capability Augmentation for Heterogeneous Dynamic Teaming with Temporal Logic Tasks
par: Berlind, Carter, et autres
Publié: (2024)