activity
20182023
most citedBayesian Inference with Certifiable Adversarial Robustness

8 citations · 14 across the 6 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

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…