27 citations · 152 across the 28 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LG2018
Robustness Guarantees for Bayesian Inference with Gaussian Processes
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti +1
Bayesian inference and Gaussian processes are widely used in applications ranging from robotics and control to biological systems. Many of these applications are safety-critical an…
cs.LO2018
Central Limit Model Checking
Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska +1
We consider probabilistic model checking for continuous-time Markov chains (CTMCs) induced from Stochastic Reaction Networks (SRNs) against a fragment of Continuous Stochastic Logi…