Towards a Digital Twin Architecture with Formal Analysis Capabilities for Learning-Enabled Autonomous Systems.
Anastasios TemperekidisNikolaos KekatosPanagiotis KatsarosWeicheng HeSaddek BensalemHisham AbdElSabourMohamed AbdelsalamAshraf SalemPublished in: MESAS (2022)