@misc{indiciaebc212314f22d,
  title = {Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems},
  author = {Matt Luckcuck and Mengwei Xu},
  year = {2024},
  doi = {10.4204/eptcs.411},
  url = {https://arxiv.org/abs/2411.13215},
  note = {Source identifier: 2411.13215}
}