Alberto Termine, Alessandro Antonucci 0001, Giuseppe Primiero, Alessandro Facchini. Logic and Model Checking by Imprecise Probabilistic Interpreted Systems. In Ariel Rosenfeld, Nimrod Talmon, editors, Multi-Agent Systems - 18th European Conference, EUMAS 2021, Virtual Event, June 28-29, 2021, Revised Selected Papers. Volume 12802 of Lecture Notes in Computer Science, pages 211-227, Springer, 2021. [doi]
Abstract is missing.