Publications

| Sorted by Date | Classified by Publication Type | Classified by Research Category |

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

Sterre Lutz, Matthijs T. J. Spaan, and Anna Lukina. VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change. In Proc. of International Joint Conference on Artificial Intelligence, pp. 457–465, 2025.

Download

pdf 

Abstract

Autonomous systems operating in the real world encounter a range of uncertainties. Probabilistic neural Lyapunov certification is a powerful approach to proving safety of nonlinear stochastic dynamical systems. When faced with changes beyond the modeled uncertainties, e.g., unidentified obstacles, probabilistic certificates must be transferred to the new system dynamics. However, even when the changes are localized in a known part of the state space, state-of-the-art requires complete re-certification, which is particularly costly for neural certificates. We introduce VeRecycle, the first framework to formally reclaim guarantees for discrete-time stochastic dynamical systems. VeRecycle efficiently reuses probabilistic certificates when the system dynamics deviate only in a given subset of states. We present a general theoretical justification and algorithmic implementation. Our experimental evaluation shows scenarios where VeRecycle both saves significant computational effort and achieves competitive probabilistic guarantees in compositional neural control.

BibTeX Entry

@InProceedings{Lutz25ijcai,
  title =        {{VeRecycle}: Reclaiming Guarantees from
                  Probabilistic Certificates for Stochastic Dynamical
                  Systems after Change},
  author =       {Sterre Lutz and Matthijs T. J. Spaan and Anna
                  Lukina},
  year =         2025,
  pages =        {457--465},
  booktitle =    {Proc. of International Joint Conference on
                  Artificial Intelligence},
}

Note: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Generated by bib2html.pl (written by Patrick Riley) on Fri Aug 28, 2026 12:56:06 UTC