TY  - RPRT
TI  - Determinizing Monitors for HML with Recursion
AU  - Luca Aceto
AU  - Antonis Achilleos
AU  - Adrian Francalanza
AU  - Anna Ingólfsdóttir
AU  - Sævar Örn Kjartansson
PY  - 2016
UR  - https://arxiv.org/abs/1611.10212
ID  - 1611.10212
ER  -