31 citations · 132 across the 17 of their papers we have counts for
4 papers · 1 filter
From Electric Circuits to Chemical Networks
Luca Cardelli, Mirco Tribastone, Max Tschaikowski
Electric circuits manipulate electric charge and magnetic flux via a small set of discrete components to implement useful functionality over continuous time-varying signals represe…
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…
Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis
Luca Cardelli, Mirco Tribastone, Max Tschaikowski +1
It is well known that exact notions of model abstraction and reduction for dynamical systems may not be robust enough in practice because they are highly sensitive to the specific…
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…