:: Library Catalog

Cover Image

Saved in:

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

Similar Items

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

On Enhancing Structural Resilience of Multirobot Coverage Control with Bearing Rigidity
by: Pant, Kartik A., et al.
Published: (2025)

Energy-Constrained Resilient Multi-Robot Coverage Control
by: Pant, Kartik A., et al.
Published: (2025)

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)

Range-based Multi-Robot Integrity Monitoring Against Cyberattacks and Faults: An Anchor-Free Approach
by: Vijay, Vishnu, et al.
Published: (2024)

Uncertainty Removal in Verification of Nonlinear Systems against Signal Temporal Logic via Incremental Reachability Analysis
by: Besset, Antoine, et al.
Published: (2025)

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

SAFE-TAXI: A Hierarchical Multi-UAS Safe Auto-Taxiing Framework with Runtime Safety Assurance and Conflict Resolution
by: Pant, Kartik A., et al.
Published: (2025)

MIXED-SENSE: A Mixed Reality Sensor Emulation Framework for Test and Evaluation of UAVs Against False Data Injection Attacks
by: Pant, Kartik A., et al.
Published: (2024)

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

Track-centric Iterative Learning for Global Trajectory Optimization in Autonomous Racing
by: Nam, Youngim, et al.
Published: (2026)

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
by: Dietrich, Elizabeth, et al.
Published: (2025)

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

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

Simultaneous Embedding and Welding of Silver Nanowires Into the Surface of Polymer Networks for Mechanically Robust and Highly Conductive Three‐Dimensional Flexible Transparent Electrodes
by: Sangmok Kim, et al.
Published: (2026)

Chameleon: A Surface-Anchored Smartphone AR Prototype with Visually Blended Mobile Display
by: Yang, Seungwon, et al.
Published: (2025)

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

Publish‐Review‐Curate Modelling for Data Paper and Dataset: A Collaborative Approach
by: Youngim Jung, et al.
Published: (2025)

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

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

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

Mathematical Foundations of Polyphonic Music Generation via Structural Inductive Bias
by: Seo, Joonwon
Published: (2026)

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications
by: Ma, Liqian, et al.
Published: (2025)

Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems
by: Roop, Partha, et al.
Published: (2026)

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

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

Collaboration risk, vulnerability, and resource sharing in disaster management networks
by: Minsun Song, et al.
Published: (2024)

Chatperone: An LLM-Based Negotiable Scaffolding System for Mediating Adolescent Mobile Interactions
by: Yoon, Suwon, et al.
Published: (2025)

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

Feynman's Entangled Paths to Optimized Circuit Design
by: Anand, Kartik
Published: (2024)

Constructing Fermionic Hamiltonians with Non-Gaussianic low-energy states
by: Anand, Kartik
Published: (2025)

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

EDITORIAL
by: Cláudio Pinto Nune
Published: (2010)

INTERNACIONALIZAÇÃO DE EMPRESAS: ANÁLISE DA MUDANÇA DO PERFIL EXPORTADOR DAS EMPRESAS CALÇADISTAS GAÚCHAS
by: Moema Pereira Nune
Published: (2014)

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

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

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

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

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