Alberto Termine, Alessandro Antonucci 0001, Giuseppe Primiero, Alessandro Facchini. Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems. SN Computer Science, 4(5):443, September 2023. [doi]
@article{TermineAPF23,
title = {Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems},
author = {Alberto Termine and Alessandro Antonucci 0001 and Giuseppe Primiero and Alessandro Facchini},
year = {2023},
month = {September},
doi = {10.1007/s42979-023-01817-x},
url = {https://doi.org/10.1007/s42979-023-01817-x},
researchr = {https://researchr.org/publication/TermineAPF23},
cites = {0},
citedby = {0},
journal = {SN Computer Science},
volume = {4},
number = {5},
pages = {443},
}