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...
| Հիմնական հեղինակներ: | , , , |
|---|---|
| Ձևաչափ: | Journal article |
| Հրապարակվել է: |
2018
|
| Խորագրեր: |
Search Result 1
