research
∙
05/31/2021
Sequenceable Event Recorders
With recent high-throughput technology we can synthesize large heterogen...
share
research
∙
04/07/2021
Adversarial Robustness Guarantees for Gaussian Processes
Gaussian processes (GPs) enable principled computation of model uncertai...
research
∙
01/09/2021
Exact maximal reduction of stochastic reaction networks by species lumping
Motivation: Stochastic reaction networks are a widespread model to descr...
research
∙
05/16/2020
Kaemika app, Integrating protocols and chemical simulation
Kaemika is an app available on the four major app stores. It provides de...
research
∙
05/13/2020
Digital Social Contracts: A Foundation for an Egalitarian and Just Digital Society
Almost two centuries ago Pierre-Joseph Proudhon proposed social contract...
research
∙
11/29/2019
Safety Guarantees for Planning Based on Iterative Gaussian Processes
Gaussian Processes (GPs) are widely employed in control and learning bec...
research
∙
09/21/2019
Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control
Deep neural network controllers for autonomous driving have recently ben...
research
∙
05/28/2019
Robustness Quantification for Classification with Gaussian Processes
We consider Bayesian classification with Gaussian processes (GPs) and de...
research
∙
03/05/2019
Statistical Guarantees for the Robustness of Bayesian Neural Networks
We introduce a probabilistic robustness measure for Bayesian Neural Netw...
research
∙
09/17/2018
Robustness Guarantees for Bayesian Inference with Gaussian Processes
Bayesian inference and Gaussian processes are widely used in application...
research
∙
04/23/2018
Central Limit Model Checking
We consider probabilistic model checking for continuous-time Markov chai...
research
∙
10/22/2017