Cover Image

BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Taheri, Ali, Taban, Alireza, Soudjani, Sadegh, Trivedi, Ashutosh
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Kernel-Based Learning of Safety Barriers
by: Schön, Oliver, et al.
Published: (2026)

Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model
by: Nadali, Alireza, et al.
Published: (2024)

Safety Certification is Classification
by: Schön, Oliver, et al.
Published: (2026)

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
by: Schön, Oliver, et al.
Published: (2025)

Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
by: Kranzlmüller, Miriam, et al.
Published: (2026)

Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings
by: Schön, Oliver, et al.
Published: (2024)

Verification of Quantum Circuits through Discrete-Time Barrier Certificates
by: Lewis, Marco, et al.
Published: (2024)

Barrier Certificates for Uncertain Temporal Specifications
by: Mamduhi, Mohammad H., et al.
Published: (2026)

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

Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation
by: Zhang, Zhi, et al.
Published: (2024)

Monotone Neural Barrier Certificates
by: Jafarpour, Saber, et al.
Published: (2025)

Verification of Neural Network Control Systems in Continuous Time
by: ArjomandBigdeli, Ali, et al.
Published: (2024)

Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression
by: Skovbekk, John, et al.
Published: (2021)

Control Barrier Function for Aligning Large Language Models
by: Miyaoka, Yuya, et al.
Published: (2025)

Robust Control of Uncertain Switched Affine Systems via Scenario Optimization
by: Monir, Negar, et al.
Published: (2025)

Reinforcement Learning-based Receding Horizon Control using Adaptive Control Barrier Functions for Safety-Critical Systems
by: Sabouni, Ehsan, et al.
Published: (2024)

LLM-Agent-Controller: A Universal Multi-Agent Large Language Model System as a Control Engineer
by: Zahedifar, Rasoul, et al.
Published: (2025)

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
by: Nazeri, Mahdi, et al.
Published: (2025)

Large Language Models for Explainable Decisions in Dynamic Digital Twins
by: Zhang, Nan, et al.
Published: (2024)

Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems
by: Murali, Vishnu, et al.
Published: (2023)

Logic-based Resilience Computation of Power Systems Against Frequency Requirements
by: Monir, Negar, et al.
Published: (2025)

Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach
by: Wooding, Ben, et al.
Published: (2023)

Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
by: Kordabad, Arash Bahari, et al.
Published: (2025)

Stochastic Generalized Dynamic Games with Coupled Chance Constraints
by: Yadollahi, Seyed Shahram, et al.
Published: (2025)

Almost Sure Reachability in Continuous-time Stochastic Systems
by: Kordabad, Arash Bahari, et al.
Published: (2026)

Empowering Autonomous Driving with Large Language Models: A Safety Perspective
by: Wang, Yixuan, et al.
Published: (2023)

Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees
by: Chen, Shaoru, et al.
Published: (2024)

LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
by: Casablanca, Ernesto, et al.
Published: (2025)

Diffusion-Based Failure Sampling for Evaluating Safety-Critical Autonomous Systems
by: Delecki, Harrison, et al.
Published: (2024)

A Comparative Study of Artificial Potential Fields and Reciprocal Control Barrier Function-based Safety Filters
by: Li, Ming, et al.
Published: (2024)

Anticipating Oblivious Opponents in Stochastic Games
by: Kalat, Shadi Tasdighi, et al.
Published: (2024)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
by: Murali, Vishnu, et al.
Published: (2026)

Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics
by: Nazeri, Mahdi, et al.
Published: (2025)

$α^3$-Bench: A Unified Benchmark of Safety, Robustness, and Efficiency for LLM-Based UAV Agents over 6G Networks
by: Ferrag, Mohamed Amine, et al.
Published: (2026)

RoboMonkey: Scaling Test-Time Sampling and Verification for Vision-Language-Action Models
by: Kwok, Jacky, et al.
Published: (2025)

Policy Synthesis for Interval MDPs via Polyhedral Lyapunov Functions
by: Monir, Negar, et al.
Published: (2026)

Distributionally Robust Safety Verification of Neural Networks via Worst-Case CVaR
by: Kishida, Masako
Published: (2025)

Enabling Large Language Models to Perform Power System Simulations with Previously Unseen Tools: A Case of Daline
by: Jia, Mengshuo, et al.
Published: (2024)

A Barrier Certificate-based Simplex Architecture for Systems with Approximate and Hybrid Dynamics
by: Damare, Amol, et al.
Published: (2022)

Towards Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal cross- and self-attention Large Language Model Approach
by: Yang, Jingda, et al.
Published: (2023)