2021-04-122019-09-010302974316113349http://hdl.handle.net/10784/28629enghttps://v2.sherpa.ac.uk/id/publication/issn/0302-9743A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligenceinfo:eu-repo/semantics/article2021-04-12Mazo, R.10.1007/978-3-030-26250-1_32