( en | de | ru )

 

Disambiguierung von "Termine, Alberto"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Logic and Model Checking by Imprecise Probabilistic Interpreted Systems.

, , , und . EUMAS, Volume 12802 von Lecture Notes in Computer Science, Seite 211-227. Springer, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Alberto Moreira

Alberto Coda

Alberto Fierro

Alberto Ricco

Alberto Moreira

 

Weitere Publikationen von Autoren mit dem selben Namen

Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems., , , und . SN Comput. Sci., 4 (5): 443 (September 2023)Logic and Model Checking by Imprecise Probabilistic Interpreted Systems., , , und . EUMAS, Volume 12802 von Lecture Notes in Computer Science, Seite 211-227. Springer, (2021)Robust Model Checking with Imprecise Markov Reward Models., , , und . ISIPTA, Volume 147 von Proceedings of Machine Learning Research, Seite 299-309. PMLR, (2021)Modelling Accuracy and Trustworthiness of Explaining Agents., , und . LORI, Volume 13039 von Lecture Notes in Computer Science, Seite 232-245. Springer, (2021)Addressing Social Misattributions of Large Language Models: An HCXAI-based Approach., , und . CoRR, (2024)Machine Learning Explanations by Surrogate Causal Models (MaLESCaMo)., , und . xAI (Late-breaking Work, Demos, Doctoral Consortium), Volume 3554 von CEUR Workshop Proceedings, Seite 59-64. CEUR-WS.org, (2023)