TY  - RPRT
TI  - The monitoring problem for timed automata
AU  - Alejandro Grez
AU  - Filip Mazowiecki
AU  - Michał Pilipczuk
AU  - Gabriele Puppis
AU  - Cristian Riveros
PY  - 2020
UR  - https://arxiv.org/abs/2002.07049
ID  - 2002.07049
ER  -