TY  - RPRT
TI  - Interactive Runtime Verification
AU  - Raphaël Jakse
AU  - Yliès Falcone
AU  - Jean-François Méhaut
AU  - Kevin Pouget
PY  - 2017
UR  - https://arxiv.org/abs/1705.05315
ID  - 1705.05315
ER  -