TY  - RPRT
TI  - Runtime Verification of Interactions Using Automata
AU  - Chana Weil-Kennedy
AU  - Darine Rammal
AU  - Christophe Gaston
AU  - Arnault Lapitre
PY  - 2025
UR  - https://arxiv.org/abs/2511.00531
ID  - 2511.00531
ER  -