1 paper
Luca Aceto, Antonis Achilleos, Adrian Francalanza +2
We examine the determinization of monitors for HML with recursion. We demonstrate that every monitor is equivalent to a deterministic one, which is at most doubly exponential in si…