Digital Twin Enabled Runtime Verification for Autonomous Mobile Robots under Uncertainty. - Joakim Schack Betzer; Jalil Boudjadar; Mirgita Frasheri; Prasad Talasila (DS-RT, 2024)