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...
Main Authors: | Bortolussi, L, Cardelli, L, Kwiatkowska, M, Laurenti, L |
---|---|
Format: | Journal article |
Published: |
2018
|
Subjects: |
Similar Items
-
Central limit model checking
by: Bortolussi, L, et al.
Published: (2019) -
Saturation methods for global model-checking pushdown systems
by: Hague, M
Published: (2009) -
Continuous hidden Markov models and the sequential probability ratio test
by: Darwin, O
Published: (2023) -
Probabilistic model checking for hybrid systems with hybrid concolic testing and importance sampling
by: Kong, Pingfan
Published: (2016) -
Bounding the escape time of a linear dynamical system over a compact semialgebraic set
by: D'Costa, J, et al.
Published: (2022)