Cover Image

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lutz, Sterre, Spaan, Matthijs T. J., Lukina, Anna
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

Neural Continuous-Time Supermartingale Certificates
by: Neustroev, Grigory, et al.
Published: (2024)

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

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

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

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

Synthesis of Dynamic Masks for Information-Theoretic Opacity in Stochastic Systems
by: Udupa, Sumukha, et al.
Published: (2025)

Graphon Particle Systems, Part II: Dynamics of Distributed Stochastic Continuum Optimization
by: Chen, Yan, et al.
Published: (2024)

Enhancing AI System Resiliency: Formulation and Guarantee for LSTM Resilience Based on Control Theory
by: Yoshihara, Sota, et al.
Published: (2025)

Data-driven Acceleration of MPC with Guarantees
by: Castellano, Agustin, et al.
Published: (2025)

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

Distributionally Robust Control with End-to-End Statistically Guaranteed Metric Learning
by: Wu, Jingyi, et al.
Published: (2025)

Imitation Learning for Intra-Day Power Grid Operation through Topology Actions
by: de Jong, Matthijs, et al.
Published: (2024)

Predictive Monitoring of Black-Box Dynamical Systems
by: Henzinger, Thomas A., et al.
Published: (2024)

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

Dispatch-Aware Deep Neural Network for Optimal Transmission Switching: Toward Real-Time and Feasibility Guaranteed Operation
by: Kim, Minsoo, et al.
Published: (2025)

Diffusion Model-based Parameter Estimation in Dynamic Power Systems
by: Zhu, Feiqin, et al.
Published: (2024)

Model Predictive Control of Hybrid Dynamical Systems
by: Sanfelice, Ricardo G., et al.
Published: (2026)

k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics
by: Wooding, Ben, et al.
Published: (2026)

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

BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems
by: Taheri, Ali, et al.
Published: (2025)

Driver Digital Twin for Online Prediction of Personalized Lane Change Behavior
by: Liao, Xishun, et al.
Published: (2022)

Control Invariant Sets for Neural Network Dynamical Systems and Recursive Feasibility in Model Predictive Control
by: Li, Xiao, et al.
Published: (2025)

$k$-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems
by: Oumer, Mohammed Adib, et al.
Published: (2025)

Q-Learning for Stochastic Control under General Information Structures and Non-Markovian Environments
by: Kara, Ali Devran, et al.
Published: (2023)

Deep Reinforcement Learning Optimization for Uncertain Nonlinear Systems via Event-Triggered Robust Adaptive Dynamic Programming
by: Bai, Ningwei, et al.
Published: (2025)

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

Benchmarking Reinforcement Learning via Stochastic Converse Optimality: Generating Systems with Known Optimal Policies
by: Ibrahim, Sinan, et al.
Published: (2026)

S3TS: Stochastic Scenario-Structured Tree Search for Advanced Planning Under Uncertainty
by: Pavirani, Fabio, et al.
Published: (2026)

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

Multi-CALF: A Policy Combination Approach with Statistical Guarantees
by: Malaniya, Georgiy, et al.
Published: (2025)

Maximizing Seaweed Growth on Autonomous Farms: A Dynamic Programming Approach for Underactuated Systems Navigating on Uncertain Ocean Currents
by: Killer, Matthias, et al.
Published: (2023)

What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems
by: Bensalem, Saddek, et al.
Published: (2023)

Multi-Goal Dexterous Hand Manipulation using Probabilistic Model-based Reinforcement Learning
by: Jiang, Yingzhuo, et al.
Published: (2025)

Probabilistic Satisfaction of Temporal Logic Constraints in Reinforcement Learning via Adaptive Policy-Switching
by: Lin, Xiaoshan, et al.
Published: (2024)

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

Probabilistic Safety Guarantee for Stochastic Control Systems Using Average Reward MDPs
by: Omidi, Saber, et al.
Published: (2025)

Stochastic Approximation with Delayed Updates: Finite-Time Rates under Markovian Sampling
by: Adibi, Arman, et al.
Published: (2024)

HyRRT-Connect: Bidirectional Motion Planning for Hybrid Dynamical Systems
by: Wang, Nan, et al.
Published: (2025)

Adapting Probabilistic Risk Assessment for AI
by: Wisakanto, Anna Katariina, et al.
Published: (2025)

The FABRIC Strategy for Verifying Neural Feedback Systems
by: Akinwande, Samuel I., et al.
Published: (2026)