Imagen de Portada

Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Chen, Shaoru, Molu, Lekan, Fazlyab, Mahyar
Formato:	Preprint
Publicado:	2024
Materias:	Machine Learning Artificial Intelligence Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation
por: Manda, Lakshmideepakreddy, et al.
Publicado: (2024)

Domain Adaptive Safety Filters via Deep Operator Learning
por: Manda, Lakshmideepakreddy, et al.
Publicado: (2024)

Hierarchical End-to-End Taylor Bounds for Complete Neural Network Verification
por: Entesari, Taha, et al.
Publicado: (2026)

Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis
por: Sharifi, Sina, et al.
Publicado: (2024)

Actor-Critic Physics-informed Neural Lyapunov Control
por: Wang, Jiarui, et al.
Publicado: (2024)

Fast Whole-Body Strain Regulation in Continuum Robots
por: Molu, Lekan
Publicado: (2023)

The Python LevelSet Toolbox (LevelSetPy)
por: Molu, Lekan
Publicado: (2024)

Is Bellman Equation Enough for Learning Control?
por: You, Haoxiang, et al.
Publicado: (2025)

AdaFair-MARL: Enforcing Adaptive Fairness Constraints in Multi-Agent Reinforcement Learning
por: Ekpo, Promise, et al.
Publicado: (2025)

Constrained Reinforcement Learning with Smoothed Log Barrier Function
por: Zhang, Baohe, et al.
Publicado: (2024)

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles
por: Parameshwaran, Aditya, et al.
Publicado: (2025)

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

Sequential QCQP for Bilevel Optimization with Line Search
por: Sharifi, Sina, et al.
Publicado: (2025)

ControlSynth Neural ODEs: Modeling Dynamical Systems with Guaranteed Convergence
por: Mei, Wenjie, et al.
Publicado: (2024)

Learning Control Barrier Functions and their application in Reinforcement Learning: A Survey
por: Guerrier, Maeva, et al.
Publicado: (2024)

Provably Safe Generative Sampling with Constricting Barrier Functions
por: Gadginmath, Darshan, et al.
Publicado: (2026)

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

Skill-Aligned Fairness in Multi-Agent Learning for Collaboration in Healthcare
por: Ekpo, Promise Osaine, et al.
Publicado: (2025)

CBF-RL: Safety Filtering Reinforcement Learning in Training with Control Barrier Functions
por: Yang, Lizhi, et al.
Publicado: (2025)

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks
por: Yao, Jianzhu, et al.
Publicado: (2025)

A Domain-Knowledge-Aided Deep Reinforcement Learning Approach for Flight Control Design
por: Shin, Hyo-Sang, et al.
Publicado: (2019)

Safe Gradient Flow for Bilevel Optimization
por: Sharifi, Sina, et al.
Publicado: (2025)

Learning Geometrically-Informed Lyapunov Functions with Deep Diffeomorphic RBF Networks
por: Tesfazgi, Samuel, et al.
Publicado: (2025)

Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction
por: Lin, Albert, et al.
Publicado: (2023)

Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
por: Wang, Chengxiao, et al.
Publicado: (2026)

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
por: Mandal, Udayan, et al.
Publicado: (2024)

Neural Port-Hamiltonian Differential Algebraic Equations for Compositional Learning of Electrical Networks
por: Neary, Cyrus, et al.
Publicado: (2024)

Effective Analog ICs Floorplanning with Relational Graph Neural Networks and Reinforcement Learning
por: Basso, Davide, et al.
Publicado: (2024)

HJ-Gauss: A Monte-Carlo HJ Reachability Scheme
por: Molu, Lekan, et al.
Publicado: (2026)

Lyapunov Function Consistent Adaptive Network Signal Control with Back Pressure and Reinforcement Learning
por: Ma, Chaolun, et al.
Publicado: (2022)

Optimizing Inventory Routing: A Decision-Focused Learning Approach using Neural Networks
por: Islam, MD Shafikul, et al.
Publicado: (2023)

Provably Bounding Neural Network Preimages
por: Kotha, Suhas, et al.
Publicado: (2023)

Neural Horizon Model Predictive Control -- Increasing Computational Efficiency with Neural Networks
por: Alsmeier, Hendrik, et al.
Publicado: (2024)

RL in Latent MDPs is Tractable: Online Guarantees via Off-Policy Evaluation
por: Kwon, Jeongyeol, et al.
Publicado: (2024)

Building Hybrid B-Spline And Neural Network Operators
por: Romagnoli, Raffaele, et al.
Publicado: (2024)

Convolutional Neural Networks for Accurate Measurement of Train Speed
por: Tian, Haitao, et al.
Publicado: (2025)

Exploring the impact of adaptive rewiring in Graph Neural Networks
por: van Nooten, Charlotte Cambier, et al.
Publicado: (2026)

Virtual Smart Metering in District Heating Networks via Heterogeneous Spatial-Temporal Graph Neural Networks
por: Niresi, Keivan Faghih, et al.
Publicado: (2026)

Real-Time Decision-Making for Digital Twin in Additive Manufacturing with Model Predictive Control using Time-Series Deep Neural Networks
por: Chen, Yi-Ping, et al.
Publicado: (2025)

Optimization-based Learning for Dynamic Load Planning in Trucking Service Networks
por: Ojha, Ritesh, et al.
Publicado: (2023)