SUMI Lab

Pinned Loading

1. Broccoli Broccoli Public

   Rust 2 1

2. Neural-Continuous-Time-Supermartingale-Certificates Neural-Continuous-Time-Supermartingale-Certificates Public

   Python 4 6

3. VeRecycle VeRecycle Public

   Supplementary code for the IJCAI 2025 paper "VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change", by Sterre Lutz, Matthijs T.J. Spaan, an…

   Python

4. Lipa Lipa Public

   Python 1

5. auto_LiRPA auto_LiRPA Public

   Forked from Verified-Intelligence/auto_LiRPA

   auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs

   Python

6. KAPS KAPS Public

   Algorithm to perform K-Adaptable Policy Synthesis (KAPS), as described in the paper "Optimizing Minimax Regret in Uncertain MDPs with Small Sets of Policies." Authors: Sterre Lutz, Daniël Vos, Matt…

   Python