Central limit model checking
We consider probabilistic model checking for continuous-time Markov chains (CTMCs) induced from Stochastic Reaction Networks against a fragment of Continuous Stochastic Logic (CSL) extended with reward operators. Classical numerical algorithms for CSL model checking based on uniformisation are limit...
| Principais autores: | , , , |
|---|---|
| Formato: | Journal article |
| Publicado em: |
Association for Computing Machinery
2019
|