PhD student in ML @ TU Delft,
Previously: UC Berkeley, Aalborg University, Topics:
probabilistic verification, Bayesian neural networks, barrier functions
-
TU Delft
- Netherlands
-
22:17
(UTC +02:00) - https://www.baymler.com/
Pinned Loading
-
IntervalMDP.jl
IntervalMDP.jl PublicGPU-accelerated value iteration for Interval Markov Decision Processes
Julia 6
-
bound_propagation
bound_propagation PublicLinear and interval bound propagation in Pytorch with easy-to-use API and GPU support.
-
DAI-Lab-HERALD/neural-barrier-functions
DAI-Lab-HERALD/neural-barrier-functions PublicNeural networks as barrier functions for stochastic discrete-time systems trained and verified using bound propagation
Python 1
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.