We gratefully acknowledge support from
the Simons Foundation and member institutions.

No authors of 1611.10212 can endorse.

Determinizing Monitors for HML with Recursion

Antonis Achilleos: Is registered as an author of this paper.
Not currently an endorser. (why?)
Adrian Francalanza: Is registered as an author of this paper.
Not currently an endorser. (why?)

Luca Aceto, Anna Ingólfsdóttir and Sævar Örn Kjartansson are not registered as owners of this paper. (why?)