On the Complexity of Determinizing Monitors. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Sævar Örn Kjartansson (CIAA, 2017)

Determinizing monitors for HML with recursion. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Sævar Örn Kjartansson (J. Log. Algebraic Methods Program., 2020)