Imagen de Portada

Reachability-based Temporal Logic Verification for Reliable LLM-guided Human-Autonomy Teaming

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Choi, Joonwon, Pant, Kartik Anand, Nune, Karthik, Hwang, Inseok
Formato:	Preprint
Publicado:	2026
Materias:	Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

A Dynamically Weighted ADMM Framework for Byzantine Resilience
por: Vijay, Vishnu, et al.
Publicado: (2025)

An Algorithm for Distributed Computation of Reachable Sets for Multi-Agent Systems
por: Thapliyal, Omanshu, et al.
Publicado: (2024)

Human Behavior Modeling via Identification of Task Objective and Variability
por: Byeon, Sooyung, et al.
Publicado: (2024)

Distributed Error-Identification and Correction using Block-Sparse Optimization
por: Khan, Shiraz, et al.
Publicado: (2023)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
por: Hadjiloizou, Loizos, et al.
Publicado: (2024)

Exploiting Sparsity for Localization of Large-Scale Wireless Sensor Networks
por: Khan, Shiraz, et al.
Publicado: (2023)

Direct Data-Driven Discrete-time Bilinear Biquadratic Regulator
por: Clarke, Shanelle G., et al.
Publicado: (2022)

Multi-Agent Based Transfer Learning for Data-Driven Air Traffic Applications
por: Deng, Chuhao, et al.
Publicado: (2024)

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
por: Kochdumper, Niklas, et al.
Publicado: (2023)

Distributed Resource Allocation for Human-Autonomy Teaming under Coupled Constraints
por: Yao, Yichen, et al.
Publicado: (2025)

LogicGuard: Improving Embodied LLM agents through Temporal Logic based Critics
por: Gokhale, Anand, et al.
Publicado: (2025)

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis
por: Arfvidsson, Kaj Munhoz, et al.
Publicado: (2024)

Application of Log-Linear Dynamic Inversion Control to a Multi-rotor
por: Lin, Li-Yu, et al.
Publicado: (2024)

Uniform Sampling from the Reachable Set Using Optimal Transport
por: Elamvazhuthi, Karthik, et al.
Publicado: (2025)

pyspect: An Extensible Toolbox for Automatic Construction of Temporal Logic Trees via Reachability Analysis
por: Arfvidsson, Kaj Munhoz, et al.
Publicado: (2025)

Capability Augmentation for Heterogeneous Dynamic Teaming with Temporal Logic Tasks
por: Berlind, Carter, et al.
Publicado: (2024)

Motion Planning with Metric Temporal Logic Using Reachability Analysis and Hybrid Zonotopes
por: Thompson, Andrew F., et al.
Publicado: (2026)

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

Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints
por: Parameshwaran, Aditya, et al.
Publicado: (2024)

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

Census-Based Population Autonomy For Distributed Robotic Teaming
por: Paine, Tyler M., et al.
Publicado: (2025)

Safe Autonomy for Uncrewed Surface Vehicles Using Adaptive Control and Reachability Analysis
por: Mahesh, Karan, et al.
Publicado: (2024)

From Global to Local: Hierarchical Probabilistic Verification for Reachability Learning
por: Smith, Ebonye, et al.
Publicado: (2026)

Zero-Sum Games between Large-Population Teams: Reachability-based Analysis under Mean-Field Sharing
por: Guan, Yue, et al.
Publicado: (2023)

Automatic and Scalable Safety Verification using Interval Reachability with Subspace Sampling
por: Gould, Brendan, et al.
Publicado: (2025)

Reachability-based Approach to Point-to-Point Steering Problem
por: Bae, Juho, et al.
Publicado: (2025)

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty
por: Ding, Jianqiang, et al.
Publicado: (2025)

Stochastic Reachability of Uncontrolled Systems via Probability Measures: Approximation via Deep Neural Networks
por: Sivaramakrishnan, Karthik, et al.
Publicado: (2023)

A Forward Reachability Perspective on Control Barrier Functions and Discount Factors in Reachability Analysis
por: Choi, Jason J., et al.
Publicado: (2023)

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy
por: Peper, Jordan, et al.
Publicado: (2025)

Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications
por: Dang, Thao, et al.
Publicado: (2024)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
por: Hafez, Ahmad, et al.
Publicado: (2024)

On the Reachability and Controllability of Temporal Continuous-Time Linear Networks: A Generic Analysis
por: Zhang, Yuan, et al.
Publicado: (2023)

Next-Generation LLM for UAV: From Natural Language to Autonomous Flight
por: Yuan, Liangqi, et al.
Publicado: (2025)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
por: Gu, Chao, et al.
Publicado: (2020)

Trust Modeling and Estimation in Human-Autonomy Interactions
por: Williams, Daniel A., et al.
Publicado: (2025)

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

Reliability, Resilience and Human Factors Engineering for Trustworthy AI Systems
por: Mishra, Saurabh, et al.
Publicado: (2024)

Reachability Analysis for Design Optimization
por: Nguyen, Steven, et al.
Publicado: (2026)