Central limit model checking

We consider probabilistic model checking for continuous-time Markov chains (CTMCs) induced from Stochastic Reaction Networks (SRNs) against a time-bounded fragment of Continuous Stochastic Logic (CSL) extended with reward operators. Classical numerical algorithms for CSL model checking based on unif...

Olles dieđut

Bibliográfalaš dieđut
Váldodahkkit:	Bortolussi, L, Cardelli, L, Kwiatkowska, M, Laurenti, L
Materiálatiipa:	Journal article
Almmustuhtton:	2018
Fáttát:	Mathematics of computing → Probability and statistics Theory of computation → Logic and verification

Central limit model checking Dahkki Bortolussi, L, Cardelli, L, Kwiatkowska, M, Laurenti, L

Almmustuhtton 2019

Journal article

Central limit model checking

Central limit model checking Dahkki Bortolussi, L, Cardelli, L, Kwiatkowska, M, Laurenti, L

Geahča maid