A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jacques Robin, Raúl Mazo, Henrique Madeira, Raul Barbosa, Daniel Diaz, Salvador Abreu. A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence. In Alexander B. Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings. Volume 11699 of Lecture Notes in Computer Science, pages 391-397, Springer, 2019. [doi]

This author has not been identified. Look up 'Jacques Robin' in GoogleThis author has not been identified. Look up 'Raúl Mazo' in GoogleThis author has not been identified. Look up 'Henrique Madeira' in GoogleThis author has not been identified. Look up 'Raul Barbosa' in GoogleThis author has not been identified. Look up 'Daniel Diaz' in GoogleThis author has not been identified. Look up 'Salvador Abreu' in Google

runs on WebDSL