TERMINE, ALBERTO
TERMINE, ALBERTO
Dipartimento di Filosofia Piero Martinetti
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.0 secondi).
PROBABILISTIC MODEL CHECKING WITH MARKOV MODELS SEMANTICS: NEW DEVELOPMENTS AND APPLICATIONS
2023 A. Termine
Modelling Accuracy and Trustworthiness of Explaining Agents
2021 A. Termine, G. Primiero, F.A. D'Asaro
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
Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
---|---|---|---|---|---|
PROBABILISTIC MODEL CHECKING WITH MARKOV MODELS SEMANTICS: NEW DEVELOPMENTS AND APPLICATIONS | 2023 | TERMINE, ALBERTO | Doctoral Thesis | - | |
Modelling Accuracy and Trustworthiness of Explaining Agents | 2021 | Termine A.Primiero G.D'Asaro F. A. | Book Part (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) | - |