Author of the publication

Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems.

, , , and . SN Comput. Sci., 4 (5): 443 (September 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Robust Model Checking with Imprecise Markov Reward Models., , , and . ISIPTA, volume 147 of Proceedings of Machine Learning Research, page 299-309. PMLR, (2021)Logic and Model Checking by Imprecise Probabilistic Interpreted Systems., , , and . EUMAS, volume 12802 of Lecture Notes in Computer Science, page 211-227. Springer, (2021)Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems., , , and . SN Comput. Sci., 4 (5): 443 (September 2023)Experts or Authorities? The Strange Case of the Presumed Epistemic Superiority of Artificial Intelligence Systems., , and . Minds Mach., 34 (3): 30 (September 2024)Modelling Accuracy and Trustworthiness of Explaining Agents., , and . LORI, volume 13039 of Lecture Notes in Computer Science, page 232-245. Springer, (2021)Addressing Social Misattributions of Large Language Models: An HCXAI-based Approach., , and . CoRR, (2024)Causal Concept Embedding Models: Beyond Causal Opacity in Deep Learning., , , , , , and . CoRR, (2024)Machine Learning Explanations by Surrogate Causal Models (MaLESCaMo)., , and . xAI (Late-breaking Work, Demos, Doctoral Consortium), volume 3554 of CEUR Workshop Proceedings, page 59-64. CEUR-WS.org, (2023)