Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems. - Saddek Bensalem; Panagiotis Katsaros; Dejan Nickovic; Brian Hsuan-Cheng Liao; Ricardo Ruiz Nolasco; Mohamed Abd El Salam Ahmed; Tewodros A. Beyene; Filip Cano 001; Antoine Delacourt; Hasan Esen; Alexandru Forrai; Weicheng He; et al. (AISoLA, 2023)

Digital twin for the formal analysis of a depth of anesthesia controller. - Mohamed Abdelsalam; Saddek Bensalem; Antoine Delacourt; Weicheng He; Panagiotis Katsaros; Nikolaos Kekatos; Ricardo Ruiz Nolasco; Doron Peled; Matthieu Ponchant; Ismail Ryad; Anastasios Temperekidis; Changshun Wu (Simul., 2025)