@misc{indiciae7dd28d34d8e5,
  title = {A Verification Methodology for Safety Assurance of Robotic Autonomous Systems},
  author = {Mustafa Adam and David A. Anisi and Pedro Ribeiro},
  year = {2025},
  doi = {10.1007/978-3-032-01486-3\_23},
  url = {https://arxiv.org/abs/2506.19622},
  note = {Source identifier: 2506.19622}
}