@misc{indiciae300728380b8e,
  title = {Formal Modelling and Analysis of a Self-Adaptive Robotic System},
  author = {Juliane Päßler and Maurice H. ter Beek and Ferruccio Damiani and S. Lizeth Tapia Tarifa and Einar Broch Johnsen},
  year = {2024},
  doi = {10.1007/978-3-031-47705-8\_18},
  url = {https://arxiv.org/abs/2308.14663},
  note = {Source identifier: 2308.14663}
}