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. Digital twin for the formal analysis of a depth of anesthesia controller. Simulation, 101(3):341-360, 2025. [doi]
Abstract is missing.