Towards A Model-Driven Framework Integrating XAI and Formal Methods for Medical Cyber-Physical System Design.

Feryel Benina, Ahmed Hadj Kacem, Faiza Belala, Zakaria Benzadri

Browse the full AICCSA paper archive.