Skip to content
@SUMI-lab

SUMI Lab

Research projects by the members of Sequential Uncertainty Monitoring & Interpreptability Lab at TU Delft and collaborators

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

Repositories

Showing 5 of 5 repositories

Top languages

Loading…

Most used topics

Loading…