@misc{indiciae576be02880eb,
  title = {Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)},
  author = {Matt Luckcuck and Marie Farrell},
  year = {2022},
  doi = {10.4204/eptcs.371},
  url = {https://arxiv.org/abs/2209.13181},
  note = {Source identifier: 2209.13181}
}