TERMINE, ALBERTO
TERMINE, ALBERTO
Dipartimento di Filosofia Piero Martinetti
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.0 secondi).
Causality Problems in Machine Learning Systems
2024 A. Termine, G. Primiero
PROBABILISTIC MODEL CHECKING WITH MARKOV MODELS SEMANTICS: NEW DEVELOPMENTS AND APPLICATIONS
2023 A. Termine
Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems
2023 A. Termine, A. Antonucci, G. Primiero, A. Facchini
Robust Model Checking with Imprecise Markov Reward Models
2021 A. Termine, A. Antonucci, A. Facchini, G. Primiero
Logic and Model Checking by Imprecise Probabilistic Interpreted Systems
2021 A. Termine, A. Antonucci, G. Primiero, A. Facchini
Modelling Accuracy and Trustworthiness of Explaining Agents
2021 A. Termine, G. Primiero, F.A. D'Asaro
| Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
|---|---|---|---|---|---|
| Causality Problems in Machine Learning Systems | 2024 | A. TermineG. Primiero | Book Part (author) | - | |
| PROBABILISTIC MODEL CHECKING WITH MARKOV MODELS SEMANTICS: NEW DEVELOPMENTS AND APPLICATIONS | 2023 | TERMINE, ALBERTO | Doctoral Thesis | - | |
| Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems | 2023 | Termine, AlbertoPrimiero, Giuseppe + | Article (author) | - | |
| Robust Model Checking with Imprecise Markov Reward Models | 2021 | Alberto TermineGiuseppe Primiero + | Book Part (author) | - | |
| Logic and Model Checking by Imprecise Probabilistic Interpreted Systems | 2021 | Termine, AlbertoPrimiero, Giuseppe + | Book Part (author) | - | |
| Modelling Accuracy and Trustworthiness of Explaining Agents | 2021 | Termine A.Primiero G.D'Asaro F. A. | Book Part (author) | - |