Journal article icon

Journal article

Central limit model checking

Abstract:

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 uniformisation are limited to finite CTMCs and suffer from exponential growth of the state space with respect to the number of species. On the other hand, approximate techniques such as mean-field appr...

Expand abstract
Publication status:
Not published
Peer review status:
Reviewed (other)

Actions


Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Oxford college:
St Anne's College
Role:
Author
ORCID:
0000-0002-8705-8488
More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Oxford college:
Trinity College
Role:
Author
Journal:
CoRR
Publication date:
2018-01-01
Source identifiers:
850206
Subjects:
Pubs id:
pubs:850206
UUID:
uuid:309a417c-b82f-43de-8604-bd4c70e4bbca
Local pid:
pubs:850206
Deposit date:
2018-07-06

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP