A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence.

Jacques Robin, Ral Mazo, Henrique Madeira, Raul Barbosa, Daniel Diaz, Salvador Abreu

Browse the full SAFECOMP paper archive.