@misc{indiciae733e7cec3b6d,
  title = {Digital Twin Enabled Runtime Verification for Autonomous Mobile Robots under Uncertainty},
  author = {Joakim Schack Betzer and Jalil Boudjadar and Mirgita Frasheri and Prasad Talasila},
  year = {2024},
  url = {https://arxiv.org/abs/2412.09913},
  note = {Source identifier: 2412.09913}
}