Logic and Model Checking by Imprecise Probabilistic Interpreted Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Alberto Termine' in GoogleThis author has not been identified. Look up 'Alessandro Antonucci 0001' in GoogleThis author has not been identified. Look up 'Giuseppe Primiero' in GoogleThis author has not been identified. Look up 'Alessandro Facchini' in Google

runs on WebDSL