Alberto Termine

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 9

Top Topics

Automated Verification

Linear Temporal Logic

Top Venues

Publications

Gabriele Dominici, Pietro Barbiero, Mateo Espinosa Zarlenga, Alberto Termine, Martin Gjoreski, Giuseppe Marra, Marc Langheinrich
Causal Concept Embedding Models: Beyond Causal Opacity in Deep Learning. CoRR (2024)
Andrea Ferrario, Alessandro Facchini, Alberto Termine
Experts or Authorities? The Strange Case of the Presumed Epistemic Superiority of Artificial Intelligence Systems. Minds Mach. 34 (3) (2024)
Andrea Ferrario, Alberto Termine, Alessandro Facchini
Addressing Social Misattributions of Large Language Models: An HCXAI-based Approach. CoRR (2024)
Alberto Termine, Alessandro Antonucci, Giuseppe Primiero, Alessandro Facchini
Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems. SN Comput. Sci. 4 (5) (2023)
Alberto Termine, Alessandro Antonucci, Alessandro Facchini
Machine Learning Explanations by Surrogate Causal Models (MaLESCaMo). xAI (Late-breaking Work, Demos, Doctoral Consortium) (2023)
Alberto Termine, Giuseppe Primiero, Fabio Aurelio D'Asaro
Modelling Accuracy and Trustworthiness of Explaining Agents. LORI (2021)
Alberto Termine, Alessandro Antonucci, Alessandro Facchini, Giuseppe Primiero
Robust Model Checking with Imprecise Markov Reward Models. CoRR (2021)
Alberto Termine, Alessandro Antonucci, Alessandro Facchini, Giuseppe Primiero
Robust Model Checking with Imprecise Markov Reward Models. ISIPTA (2021)
Alberto Termine, Alessandro Antonucci, Giuseppe Primiero, Alessandro Facchini
Logic and Model Checking by Imprecise Probabilistic Interpreted Systems. EUMAS (2021)