Logic and Model Checking by Imprecise Probabilistic Interpreted Systems.

Alberto Termine, Alessandro Antonucci, Giuseppe Primiero, Alessandro Facchini

Browse the full EUMAS paper archive.