Digital Twin Enabled Runtime Verification for Autonomous Mobile Robots under Uncertainty

Joakim Schack Betzer, Jalil Boudjadar, Mirgita Frasheri, Prasad Talasila

Research output: Working paper/Preprint › Preprint

Fingerprint

Dive into the research topics of 'Digital Twin Enabled Runtime Verification for Autonomous Mobile Robots under Uncertainty'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Engineering