Skip to Main content Skip to Navigation
Conference papers

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

Abstract : We present a versatile architecture for AI-powered self-adaptive self-certifiable critical systems. It aims at supporting semi-automated low-cost re-certification for self-adaptive systems after each adaptation of their behavior to a persistent change in their operational environment throughout their lifecycle.
Complete list of metadatas

https://hal-paris1.archives-ouvertes.fr/hal-02297049
Contributor : Daniel Diaz <>
Submitted on : Wednesday, September 25, 2019 - 4:48:49 PM
Last modification on : Sunday, January 19, 2020 - 6:38:32 PM

Identifiers

  • HAL Id : hal-02297049, version 1

Collections

Citation

Jacques Robin, Raúl Mazo, Henrique Madeira, Raul Barbosa, Daniel Diaz, et al.. A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence. International Workshop on Artificial Intelligence Safety Engineering, 2019, Turku, Finland. ⟨hal-02297049⟩

Share

Metrics

Record views

76