Asymptotic bounds for quantitative verification of perturbed probabilistic systems
10.1007/978-3-642-41202-8_20
Saved in:
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Conference or Workshop Item |
| Published: |
2016
|
| Online Access: | http://scholarbank.nus.edu.sg/handle/10635/124983 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | National University of Singapore |
| id |
sg-nus-scholar.10635-124983 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-1249832024-11-13T22:58:27Z Asymptotic bounds for quantitative verification of perturbed probabilistic systems Su, G. Rosenblum, D.S. COMPUTER SCIENCE 10.1007/978-3-642-41202-8_20 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8144 LNCS 297-312 2016-06-02T09:25:21Z 2016-06-02T09:25:21Z 2013 Conference Paper Su, G.,Rosenblum, D.S. (2013). Asymptotic bounds for quantitative verification of perturbed probabilistic systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8144 LNCS : 297-312. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-642-41202-8_20" target="_blank">https://doi.org/10.1007/978-3-642-41202-8_20</a> 9783642412011 03029743 http://scholarbank.nus.edu.sg/handle/10635/124983 NOT_IN_WOS Scopus |
| institution |
National University of Singapore |
| building |
NUS Library |
| continent |
Asia |
| country |
Singapore Singapore |
| content_provider |
NUS Library |
| collection |
ScholarBank@NUS |
| description |
10.1007/978-3-642-41202-8_20 |
| author2 |
COMPUTER SCIENCE |
| author_facet |
COMPUTER SCIENCE Su, G. Rosenblum, D.S. |
| format |
Conference or Workshop Item |
| author |
Su, G. Rosenblum, D.S. |
| spellingShingle |
Su, G. Rosenblum, D.S. Asymptotic bounds for quantitative verification of perturbed probabilistic systems |
| author_sort |
Su, G. |
| title |
Asymptotic bounds for quantitative verification of perturbed probabilistic systems |
| title_short |
Asymptotic bounds for quantitative verification of perturbed probabilistic systems |
| title_full |
Asymptotic bounds for quantitative verification of perturbed probabilistic systems |
| title_fullStr |
Asymptotic bounds for quantitative verification of perturbed probabilistic systems |
| title_full_unstemmed |
Asymptotic bounds for quantitative verification of perturbed probabilistic systems |
| title_sort |
asymptotic bounds for quantitative verification of perturbed probabilistic systems |
| publishDate |
2016 |
| url |
http://scholarbank.nus.edu.sg/handle/10635/124983 |
| _version_ |
1821227238437158912 |