Cover Image

Learning Verifiable Control Policies Using Relaxed Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chaudhury, Puja, Estornell, Alexander, Everett, Michael
Format:	Preprint
Published:	2025
Subjects:	Systems and Control Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Collision Avoidance Verification of Multiagent Systems with Learned Policies
by: Dong, Zihao, et al.
Published: (2024)

Verification of Visual Controllers via Compositional Geometric Transformations
by: Estornell, Alexander, et al.
Published: (2025)

Verifying Closed-Loop Contractivity of Learning-Based Controllers via Partitioning
by: Davydov, Alexander
Published: (2025)

Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
by: Badings, Thom, et al.
Published: (2024)

Myopically Verifiable Probabilistic Certificates for Safe Control and Learning
by: Wang, Zhuoyuan, et al.
Published: (2024)

A Hybrid Framework for Efficient Koopman Operator Learning
by: Estornell, Alexander, et al.
Published: (2025)

MPC-Inspired Reinforcement Learning for Verifiable Model-Free Control
by: Lu, Yiwen, et al.
Published: (2023)

Go Beyond Black-box Policies: Rethinking the Design of Learning Agent for Interpretable and Verifiable HVAC Control
by: An, Zhiyu, et al.
Published: (2024)

Lagrangian Relaxation for Multi-Action Partially Observable Restless Bandits: Heuristic Policies and Indexability
by: Meshram, Rahul, et al.
Published: (2025)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
by: Vertovec, Nikolaus, et al.
Published: (2025)

Formally Verified Physics-Informed Neural Control Lyapunov Functions
by: Liu, Jun, et al.
Published: (2024)

Training Verifiably Robust Agents Using Set-Based Reinforcement Learning
by: Wendl, Manuel, et al.
Published: (2024)

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

Stable Inverse Reinforcement Learning: Policies from Control Lyapunov Landscapes
by: Tesfazgi, Samuel, et al.
Published: (2024)

Coordinating Planning and Tracking in Layered Control Policies via Actor-Critic Learning
by: Yang, Fengjun, et al.
Published: (2024)

Density-Ratio Weighted Behavioral Cloning: Learning Control Policies from Corrupted Datasets
by: Pandian, Shriram Karpoora Sundara, et al.
Published: (2025)

From Optimization to Control: Quasi Policy Iteration
by: Kolarijani, Mohammad Amin Sharifi, et al.
Published: (2023)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
by: Hu, Hanjiang, et al.
Published: (2024)

Controlling Dynamical Systems into Unseen Target States Using Machine Learning
by: Köglmayr, Daniel, et al.
Published: (2024)

Robust Defense Against Extreme Grid Events Using Dual-Policy Reinforcement Learning Agents
by: Peter, Benjamin M., et al.
Published: (2024)

Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
by: Liu, Jun, et al.
Published: (2023)

LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction
by: Liu, Jun, et al.
Published: (2024)

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

An Optimal Policy for Learning Controllable Dynamics by Exploration
by: Loxley, Peter N.
Published: (2025)

Algorithm-Relative Trajectory Valuation in Policy Gradient Control
by: Li, Shihao, et al.
Published: (2025)

Lyapunov Neural ODE State-Feedback Control Policies
by: Ip, Joshua Hang Sai, et al.
Published: (2024)

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial
by: Li, Haoyu, et al.
Published: (2026)

On Policy Stochasticity in Mutual Information Optimal Control of Linear Systems
by: Enami, Shoju, et al.
Published: (2025)

End-to-End Reinforcement Learning of Koopman Models for Economic Nonlinear Model Predictive Control
by: Mayfrank, Daniel, et al.
Published: (2023)

Safe and High-Performance Learning of Model Predicitve Control using Kernel-Based Interpolation
by: Rose, Alexander, et al.
Published: (2024)

Simulation-Aided Policy Tuning for Black-Box Robot Learning
by: He, Shiming, et al.
Published: (2024)

Adaptive Policy Learning to Additional Tasks
by: Hao, Wenjian, et al.
Published: (2023)

Actively Learning Reinforcement Learning: A Stochastic Optimal Control Approach
by: Ramadan, Mohammad S., et al.
Published: (2023)

Verifiable Error Bounds for Physics-Informed Neural KKL Observers
by: Berin-Costain, Hannah, et al.
Published: (2026)

Integrating Personalized Federated Learning with Control Systems for Enhanced Performance
by: Smith, Alice, et al.
Published: (2025)

A Theory of the Risk for Optimization with Relaxation and its Application to Support Vector Machines
by: Campi, Marco C., et al.
Published: (2020)

Robust Model Based Reinforcement Learning Using $\mathcal{L}_1$ Adaptive Control
by: Sung, Minjun, et al.
Published: (2024)

Concurrent Learning of Policy and Unknown Safety Constraints in Reinforcement Learning
by: Yifru, Lunet, et al.
Published: (2024)

Distributed Control of Network Systems in the Space of Stabilizing Graph Neural Network Policies
by: Cao, John, et al.
Published: (2025)

Feasible Policy Iteration for Safe Reinforcement Learning
by: Yang, Yujie, et al.
Published: (2023)