TY  - RPRT
TI  - COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1
AU  - Wolfgang Ahrendt
AU  - Cyrille Artho
AU  - Christian Colombo
AU  - Yliès Falcone
AU  - Srdan Krstic
AU  - Martin Leucker
AU  - Florian Lorber
AU  - Joao Lourenço
AU  - Leonardo Mariani
AU  - César Sánchez
AU  - Gerardo Schneider
AU  - Volker Stolz
PY  - 2019
UR  - https://arxiv.org/abs/1902.03776
ID  - 1902.03776
ER  -