Fast and Sample Efficient Safety Verification via Extreme Learning Machine

arXiv:2609.39221 · eess.SY, cs.SY · Submitted 2026-09-30 · Read on arXiv

eess.SY, cs.SY

Submitted: 2026-09-30

Updated: 2026-10-01

Terminology

• Loss Function — 14× in this paper · explained in 2 episodes
• Verification — 12× in this paper · explained in 2 episodes
• Hybrid System — 5× in this paper · explained in 2 episodes
• Activation Function — 4× in this paper · explained in 1 episode
• Robustness — 4× in this paper · explained in 5 episodes
• Formal Verification — 3× in this paper · explained in 2 episodes
• SMT solver — 2× in this paper · explained in 2 episodes
• Benchmark — 1× in this paper · explained in 2 episodes
• Convergence Guarantees — 1× in this paper · explained in 3 episodes
• Core — 1× in this paper · explained in 2 episodes
• Lyapunov function — 1× in this paper · explained in 2 episodes
• Regularization — 1× in this paper · explained in 3 episodes
• Semidefinite Programming (SDP) — 1× in this paper · explained in 3 episodes

Sources

• Intriguing properties of neural networks

Related papers

• One Request, Multiple Experts: LLM Orchestrates Domain Specific Models via Adaptive Task Routing
• A Geometric Decision Procedure for STL Feasibility and Repair
• Submodular Multi-Agent Policy Learning for Online Distributed Task Allocation in Open Multi-Agent Systems
• Policy-Level Recursive Self-Improvement for Embodied AI with a Criticality World Model
• Minimal Experiments for Robust Stabilization: Information, Spectral Geometry, and Duration
• Decentralized Power-Optimal Coordination for Spacecraft Swarms Using Time-Varying Magnetorquer Actuation