Franca Corradini. Probabilistic Modelling for Design and Verification of Trustworthy Autonomous Systems. In Luca Longo, editor, Joint Proceedings of the xAI-2023 Late-breaking Work, Demos and Doctoral Consortium co-located with the 1st World Conference on eXplainable Artificial Intelligence (xAI-2023), Lisbon, Portugal, July 26-28, 2023. Volume 3554 of CEUR Workshop Proceedings, pages 169-176, CEUR-WS.org, 2023. [doi]
Abstract is missing.