Stochastic multi-agent systems raise the necessity to extend probabilistic model checking to the epistemic domain. Results in this direction have been achieved by epistemic extensions of Probabilistic Computation Tree Logic and related Probabilistic Interpreted Systems. The latter, however, suffer of an important limitation: they require the probabilities governing the system’s behaviour to be fully specified. A promising way to overcome this limitation is represented by imprecise probabilities. In this paper we introduce imprecise probabilistic interpreted systems and present a related logical language and model-checking procedures based on recent advances in the study of imprecise Markov processes.
Logic and Model Checking by Imprecise Probabilistic Interpreted Systems / A. Termine, A. Antonucci, G. Primiero, A. Facchini (LECTURE NOTES IN COMPUTER SCIENCE). - In: Multi-Agent Systems / [a cura di] A. Rosenfeld, N. Talmon. - Prima edizione. - Ebook. - [s.l] : Springer, 2021. - ISBN 978-3-030-82253-8. - pp. 211-227 (( Intervento presentato al 18. convegno European Conference on Multi-Agent Systems tenutosi a Jerusalem nel 2021 [10.1007/978-3-030-82254-5_13].
Logic and Model Checking by Imprecise Probabilistic Interpreted Systems
A. Termine
Primo
Writing – Original Draft Preparation
;G. PrimieroPenultimo
Writing – Original Draft Preparation
;
2021
Abstract
Stochastic multi-agent systems raise the necessity to extend probabilistic model checking to the epistemic domain. Results in this direction have been achieved by epistemic extensions of Probabilistic Computation Tree Logic and related Probabilistic Interpreted Systems. The latter, however, suffer of an important limitation: they require the probabilities governing the system’s behaviour to be fully specified. A promising way to overcome this limitation is represented by imprecise probabilities. In this paper we introduce imprecise probabilistic interpreted systems and present a related logical language and model-checking procedures based on recent advances in the study of imprecise Markov processes.File | Dimensione | Formato | |
---|---|---|---|
termine21Eumas.pdf
accesso aperto
Descrizione: Articolo Principale
Tipologia:
Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione
468.56 kB
Formato
Adobe PDF
|
468.56 kB | Adobe PDF | Visualizza/Apri |
Termine2021_Chapter_LogicAndModelCheckingByImpreci.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
370.03 kB
Formato
Adobe PDF
|
370.03 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.