Digital Twin Enabled Runtime Verification for Autonomous Mobile Robots under Uncertainty

Joakim Schack Betzer, Jalil Boudjadar, Mirgita Frasheri +1

As autonomous robots increasingly navigate complex and unpredictable environments, ensuring their reliable behavior under uncertainty becomes a critical challenge. This paper intro…