Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

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