Towards a Digital Twin Architecture with Formal Analysis Capabilities for Learning-Enabled Autonomous Systems. - Anastasios Temperekidis; Nikolaos Kekatos; Panagiotis Katsaros; Weicheng He; Saddek Bensalem; Hisham AbdElSabour; Mohamed Abdelsalam; Ashraf Salem (MESAS, 2022)