:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Choi, Joonwon, Pant, Kartik Anand, Nune, Karthik, Hwang, Inseok
Format:	Preprint
Published:	2026
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2603.08633
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Log-linear Dynamic Inversion for Thrusting Spacecraft on SE2(3)
by: Condie, Micah K., et al.
Published: (2025)