On the Verification of Weighted Kripke Structures Under Uncertainty

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Citation (Scopus)

Resumé

We study the problem of checking weighted CTL properties for weighted Kripke structures in presence of imprecise weights. We consider two extensions of the notion of weighted Kripke structures, namely (i) parametric weighted Kripke structures, having transitions weights modelled as affine maps over a set of parameters and, (ii) weight-uncertain Kripke structures, having transition labelled by realvalued random variables as opposed to precise real valued weights. We address this problem by using extended parametric dependency graphs, a symbolic extension of dependency graphs by Liu and Smolka. Experiments performed with a prototype tool implementation show that our approach outperforms by orders of magnitude an adaptation of a state-of-the-art tool for WKSs.
OriginalsprogEngelsk
TitelQuantitative Evaluation of Systems - 15th International Conference, QEST 2018, Proceedings : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
RedaktørerAndras Horvath, Annabelle McIver
Antal sider16
ForlagSpringer
Publikationsdato1 jan. 2018
Sider71-86
ISBN (Trykt)9783319991535
ISBN (Elektronisk)978-3-319-99154-2
DOI
StatusUdgivet - 1 jan. 2018
BegivenhedQuantitative Evaluation of Systems 2018 - Beijing, Kina
Varighed: 4 sep. 20187 sep. 2018
http://www.qest.org/qest2018/

Konference

KonferenceQuantitative Evaluation of Systems 2018
LandKina
ByBeijing
Periode04/09/201807/09/2018
Internetadresse
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind11024 LNCS
ISSN0302-9743

Fingerprint

Random variables
Experiments
Uncertainty

Citer dette

Bacci, G., Hansen, M., & Larsen, K. G. (2018). On the Verification of Weighted Kripke Structures Under Uncertainty. I A. Horvath, & A. McIver (red.), Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Proceedings: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings (s. 71-86). Springer. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind. 11024 LNCS https://doi.org/10.1007/978-3-319-99154-2_5
Bacci, Giovanni ; Hansen, Mikkel ; Larsen, Kim Guldstrand. / On the Verification of Weighted Kripke Structures Under Uncertainty. Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Proceedings: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. red. / Andras Horvath ; Annabelle McIver. Springer, 2018. s. 71-86 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11024 LNCS).
@inproceedings{a2bade4c879048a2b511078a01f5ac87,
title = "On the Verification of Weighted Kripke Structures Under Uncertainty",
abstract = "We study the problem of checking weighted CTL properties for weighted Kripke structures in presence of imprecise weights. We consider two extensions of the notion of weighted Kripke structures, namely (i) parametric weighted Kripke structures, having transitions weights modelled as affine maps over a set of parameters and, (ii) weight-uncertain Kripke structures, having transition labelled by realvalued random variables as opposed to precise real valued weights. We address this problem by using extended parametric dependency graphs, a symbolic extension of dependency graphs by Liu and Smolka. Experiments performed with a prototype tool implementation show that our approach outperforms by orders of magnitude an adaptation of a state-of-the-art tool for WKSs.",
author = "Giovanni Bacci and Mikkel Hansen and Larsen, {Kim Guldstrand}",
year = "2018",
month = "1",
day = "1",
doi = "10.1007/978-3-319-99154-2_5",
language = "English",
isbn = "9783319991535",
pages = "71--86",
editor = "Andras Horvath and Annabelle McIver",
booktitle = "Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Proceedings",
publisher = "Springer",
address = "Germany",

}

Bacci, G, Hansen, M & Larsen, KG 2018, On the Verification of Weighted Kripke Structures Under Uncertainty. i A Horvath & A McIver (red), Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Proceedings: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), bind 11024 LNCS, s. 71-86, Quantitative Evaluation of Systems 2018, Beijing, Kina, 04/09/2018. https://doi.org/10.1007/978-3-319-99154-2_5

On the Verification of Weighted Kripke Structures Under Uncertainty. / Bacci, Giovanni; Hansen, Mikkel; Larsen, Kim Guldstrand.

Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Proceedings: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. red. / Andras Horvath; Annabelle McIver. Springer, 2018. s. 71-86 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11024 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - On the Verification of Weighted Kripke Structures Under Uncertainty

AU - Bacci, Giovanni

AU - Hansen, Mikkel

AU - Larsen, Kim Guldstrand

PY - 2018/1/1

Y1 - 2018/1/1

N2 - We study the problem of checking weighted CTL properties for weighted Kripke structures in presence of imprecise weights. We consider two extensions of the notion of weighted Kripke structures, namely (i) parametric weighted Kripke structures, having transitions weights modelled as affine maps over a set of parameters and, (ii) weight-uncertain Kripke structures, having transition labelled by realvalued random variables as opposed to precise real valued weights. We address this problem by using extended parametric dependency graphs, a symbolic extension of dependency graphs by Liu and Smolka. Experiments performed with a prototype tool implementation show that our approach outperforms by orders of magnitude an adaptation of a state-of-the-art tool for WKSs.

AB - We study the problem of checking weighted CTL properties for weighted Kripke structures in presence of imprecise weights. We consider two extensions of the notion of weighted Kripke structures, namely (i) parametric weighted Kripke structures, having transitions weights modelled as affine maps over a set of parameters and, (ii) weight-uncertain Kripke structures, having transition labelled by realvalued random variables as opposed to precise real valued weights. We address this problem by using extended parametric dependency graphs, a symbolic extension of dependency graphs by Liu and Smolka. Experiments performed with a prototype tool implementation show that our approach outperforms by orders of magnitude an adaptation of a state-of-the-art tool for WKSs.

UR - http://www.scopus.com/inward/record.url?scp=85053105753&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-99154-2_5

DO - 10.1007/978-3-319-99154-2_5

M3 - Article in proceeding

SN - 9783319991535

SP - 71

EP - 86

BT - Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Proceedings

A2 - Horvath, Andras

A2 - McIver, Annabelle

PB - Springer

ER -

Bacci G, Hansen M, Larsen KG. On the Verification of Weighted Kripke Structures Under Uncertainty. I Horvath A, McIver A, red., Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Proceedings: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. Springer. 2018. s. 71-86. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11024 LNCS). https://doi.org/10.1007/978-3-319-99154-2_5