Data di Pubblicazione:
2021
Citazione:
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].
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.
Tipologia IRIS:
03 - Contributo in volume
Keywords:
Probabilistic Interpreted Systems; Imprecise Markov chains; Imprecise probabilities; Model checking
Elenco autori:
A. Termine, A. Antonucci, G. Primiero, A. Facchini
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
Multi-Agent Systems