@article{rv4jacaruntimeverificationformultiagent,
  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},
  eprint = {2207.09708},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2207.09708v1},
}