C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Alberto Termine
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 6
Top Topics
Model Checking
Finite State
Linear Temporal Logic
Reactive Systems
Top Venues
CoRR
EUMAS
ISIPTA
xAI (Late-breaking Work, Demos, Doctoral Consortium)
</>
Publications
</>
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)