 | Up a level |
Termine, Alberto and Antonucci, Alessandro and Primiero, Giuseppe and Facchini, Alessandro (2023) Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems. SN Computer Science, 4 (5). p. 443.
Facchini, Alessandro and Termine, Alberto (2022) Towards a Taxonomy for the Opacity of AI Systems. In: Studies in Applied Philosophy, Epistemology and Rational Ethics Philosophy and Theory of Artificial Intelligence 2021, 27-28th of September 2021, Gothenburg.
Facchini, Alessandro and Termine, Alberto (2021) Intelligenza artificiale e metodo scientifico: può l'IA sostituire l'intuizione umana nel processo di scoperta scientifica? Rivista teologica di Lugano, 26 (3). pp. 11-28.
Termine, Alberto and Antonucci, Alessandro and Primiero, Giuseppe and Facchini, Alessandro (2021) Logic and model checking by imprecise probabilistic interpreted systems. In: Multi-Agent Systems: 18th European Conference, EUMAS 2021, Virtual Event, June 28--29, 2021, Revised Selected Papers 18.
Termine, Alberto and Antonucci, Alessandro and Facchini, Alessandro and Primiero, Giuseppe (2021) Robust model checking with imprecise Markov reward models. In: International Symposium on Imprecise Probability: Theories and Applications.