Copertina

Capability Augmentation for Heterogeneous Dynamic Teaming with Temporal Logic Tasks

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Berlind, Carter, Liu, Wenliang, Pierson, Alyssa, Belta, Calin
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Feasibility-aware Learning of Robust Temporal Logic Controllers using BarrierNet
di: Liu, Wenliang, et al.
Pubblicazione: (2025)

Ternary Logic Encodings of Temporal Behavior Trees with Application to Control Synthesis
di: Matheu, Ryan, et al.
Pubblicazione: (2026)

Feasibility-Guaranteed Safety-Critical Control with Applications to Heterogeneous Platoons
di: Liu, Shuo, et al.
Pubblicazione: (2023)

Auxiliary-Variable Adaptive Control Barrier Functions for Safety Critical Systems
di: Liu, Shuo, et al.
Pubblicazione: (2023)

Safety-Critical Control with Guaranteed Lipschitz Continuity via Filtered Control Barrier Functions
di: Liu, Shuo, et al.
Pubblicazione: (2025)

Sampling-Aware Control Barrier Functions for Safety-Critical and Finite-Time Constrained Control
di: Liu, Shuo, et al.
Pubblicazione: (2025)

Auxiliary-Variable Adaptive Control Barrier Functions
di: Liu, Shuo, et al.
Pubblicazione: (2025)

Interpretable Imitation Learning via Generative Adversarial STL Inference and Control
di: Liu, Wenliang, et al.
Pubblicazione: (2024)

Risk-Constrained Belief-Space Optimization for Safe Control under Latent Uncertainty
di: Enwerem, Clinton, et al.
Pubblicazione: (2026)

Event-Triggered Adaptive Taylor-Lagrange Control for Safety-Critical Systems
di: Liu, Shuo, et al.
Pubblicazione: (2026)

Learning from Imperfect Demonstrations via Temporal Behavior Tree-Guided Trajectory Repair
di: Puranic, Aniruddh G., et al.
Pubblicazione: (2026)

Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control
di: Cohen, Max H., et al.
Pubblicazione: (2023)

Learning-Enabled Iterative Convex Optimization for Safety-Critical Model Predictive Control
di: Liu, Shuo, et al.
Pubblicazione: (2024)

Koopman-Based Linear MPC for Safe Control using Control Barrier Functions
di: Liu, Shuo, et al.
Pubblicazione: (2026)

Scalable Multi-Robot Task Allocation and Coordination under Signal Temporal Logic Specifications
di: Liu, Wenliang, et al.
Pubblicazione: (2025)

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

Variational Neural Belief Parameterizations for Robust Dexterous Grasping under Multimodal Uncertainty
di: Enwerem, Clinton, et al.
Pubblicazione: (2026)

Auxiliary-Variable Adaptive Control Lyapunov Barrier Functions for Spatio-Temporally Constrained Safety-Critical Applications
di: Liu, Shuo, et al.
Pubblicazione: (2024)

Risk-Aware Adaptive Control Barrier Functions for Safe Control of Nonlinear Systems under Stochastic Uncertainty
di: Liu, Shuo, et al.
Pubblicazione: (2025)

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

Safety-Critical Planning and Control for Dynamic Obstacle Avoidance Using Control Barrier Functions
di: Liu, Shuo, et al.
Pubblicazione: (2024)

Reachability-based Temporal Logic Verification for Reliable LLM-guided Human-Autonomy Teaming
di: Choi, Joonwon, et al.
Pubblicazione: (2026)

Temporal Logic Resilience for Dynamical Systems
di: Saoud, Adnane, et al.
Pubblicazione: (2024)

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

A Global Games-Inspired Approach to Multi-Robot Task Allocation for Heterogeneous Teams
di: Beaver, Logan
Pubblicazione: (2025)

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

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

Fault Tolerant Dynamic Task Assignment for UAV-based Search Teams
di: Nasir, Ali, et al.
Pubblicazione: (2024)

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

Integrated Control and Active Perception in POMDPs for Temporal Logic Tasks and Information Acquisition
di: Shi, Chongyang, et al.
Pubblicazione: (2025)

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

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

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

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

Multi-Task Learning for Few-Shot Online Adaptation under Signal Temporal Logic Specifications
di: Arias, Andres, et al.
Pubblicazione: (2024)

Control Barrier Functions for the Full Class of Signal Temporal Logic Tasks using Spatiotemporal Tubes
di: Das, Ratnangshu, et al.
Pubblicazione: (2025)

A Framework for Motion Planning with Temporal Logic Precedence Specifications via Augmented Graphs of Convex Sets
di: You, Shilin, et al.
Pubblicazione: (2026)

Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability
di: Jiang, Frank J., et al.
Pubblicazione: (2024)

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

Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction
di: Yu, Xinyi, et al.
Pubblicazione: (2023)