@misc{indiciaeda9c4bb2e25b,
  title = {RV4JaCa -- Runtime Verification for Multi-Agent Systems},
  author = {Debora C. Engelmann and Angelo Ferrando and Alison R. Panisson and Davide Ancona and Rafael H. Bordini and Viviana Mascardi},
  year = {2022},
  doi = {10.4204/eptcs.362.5},
  url = {https://arxiv.org/abs/2207.09708},
  note = {Source identifier: 2207.09708}
}