@misc{indiciae65c157e4f946,
  title = {Runtime Verification of Interactions Using Automata},
  author = {Chana Weil-Kennedy and Darine Rammal and Christophe Gaston and Arnault Lapitre},
  year = {2025},
  url = {https://arxiv.org/abs/2511.00531},
  note = {Source identifier: 2511.00531}
}