TY  - RPRT
TI  - Towards the Combination of Model Checking and Runtime Verification on Multi-Agent Systems
AU  - Angelo Ferrando
AU  - Vadim Malvone
PY  - 2022
DO  - 10.1007/978-3-031-18192-4_12
UR  - https://arxiv.org/abs/2202.09344
ID  - 2202.09344
ER  -