Sfoglia per Autore
Mostrati risultati da 1 a 4 di 4
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
Robust Model Checking with Imprecise Markov Reward Models
2021 A. Termine, A. Antonucci, A. Facchini, G. Primiero
PROBABILISTIC MODEL CHECKING WITH MARKOV MODELS SEMANTICS: NEW DEVELOPMENTS AND APPLICATIONS
2023 A. Termine
Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
---|---|---|---|---|---|
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) | - | |
Robust Model Checking with Imprecise Markov Reward Models | 2021 | Alberto TermineGiuseppe Primiero + | Book Part (author) | - | |
PROBABILISTIC MODEL CHECKING WITH MARKOV MODELS SEMANTICS: NEW DEVELOPMENTS AND APPLICATIONS | 2023 | TERMINE, ALBERTO | Doctoral Thesis | - |
Mostrati risultati da 1 a 4 di 4
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile